# HG changeset patch # User heinrichsweikamp # Date 1554534081 0 # Node ID 73cc47c806573a527135070cfa9c66c1570e822f # Parent d5891007fc4ca5fc0c27d8c9d420a887cf089b51# Parent 9f0efc4df01ea047a37d32748a3351a1999305c4 Merged in janlmulder/ostc4/div-fixes-4-1 (pull request #14) 2 fixes and cleanup