# HG changeset patch
# User heinrichsweikamp <bitbucket@heinrichsweikamp.com>
# 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