#1662 (Jun 10, 2018, 1:23:10 AM)

1. resurrected 5fc6589cb7f2, which got lost in merge
   
   Also included a few earlier proof tweaks. (detail / hgweb)

Started by an SCM change

This run spent:

• 7.2 sec waiting;
• 27 min build duration;
• 27 min total from scheduled to completion.