#1042 (Aug 30, 2017, 6:02:08 PM)

1. Zusammenführen (detail / hgweb)
2. Some smaller changes to the rules of the calculus (detail / hgweb)
3. Some smaller changes to the rules of the calculus (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 3 min 27 sec build duration;
• 3 min 33 sec total from scheduled to completion.