# HG changeset patch # User heinrichsweikamp # Date 1555053734 0 # Node ID 90cbeee0e1d42d7ee9b9ec78736956a509badb2e # Parent cefee1448ea6e09a695bc6cb477643400087230d# Parent 82241616858592820cd4857e9d4cbe3563980a15 Merged in janlmulder/ostc4/bm-2 (pull request #17) Buelmann: new implementation for ceiling