# HG changeset patch # User heinrichsweikamp # Date 1585574171 0 # Node ID b3f684cea9c0854ffb0d0b10b51bfd9afbc291ee # Parent 9a9e4908ce2e2194357380c4b20081b18c00251a# Parent 2effe85f1a9be3b3de7aa2832f95a8ab772b1720 Merged in Ideenmodellierer/ostc4/minor_improvments (pull request #41) Minor improvments