# HG changeset patch # User heinrichsweikamp # Date 1558075136 0 # Node ID b70c26be71a09e4b7133c358386a8cf1cc42572e # Parent 718e5feded6254fb0dad14a0e8772d0243205b24# Parent 50c26a4442af856f363c640ea3ed745f7e023b11 Merged in janlmulder/ostc4/cleanup-3 (pull request #24) 1 bug fix, 1 possible bug fix and some cleanup.