# HG changeset patch # User heinrichsweikamp # Date 1553242530 0 # Node ID 7116c0ffb862909c18d3d28d5c34790a768de188 # Parent 05df3b39561558af838ff9b4f6664f123301a647# Parent ac58a9fb92acd7310314ca64b9c1cd627402ce4d Merged in janlmulder/ostc4/div-fixes-cleaup-2 (pull request #8) 2 (simple) bugfixes and again some cleanup