# HG changeset patch
# User heinrichsweikamp <bitbucket@heinrichsweikamp.com>
# Date 1554146344 0
# Node ID 2ae6440cb8d64b72533154baab7dadc109cf187f
# Parent  486dddfba7ce425bde53d7393386c15d61b8d167# Parent  2bb1db22b5f5dd59cb4423a4d52b85454ccc1e15
Merged in janlmulder/ostc4/div-fixes-3 (pull request #13)

3 bug fixes and some cleanup.