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