#613 (Nov 24, 2016, 8:20:08 PM)

1. merge (detail / hgweb)
2. tuning (detail / hgweb)
3. removed 104 lines from the proof (detail / hgweb)

Started by an SCM change

This run spent:

• 5 sec waiting;
• 37 min build duration;
• 37 min total from scheduled to completion.