#1370 (Jan 29, 2018, 1:20:10 PM)

1. Remove unnecessary constants and adapt proofs (detail / hgweb)
2. Typo in reference (detail / hgweb)

Started by an SCM change

This run spent:

• 6 sec waiting;
• 4 min 48 sec build duration;
• 4 min 54 sec total from scheduled to completion.