#1734 (Jun 12, 2018, 1:43:05 PM)

1. merged (detail / hgweb)
2. fixed a name clash (detail / hgweb)
3. merged (detail / hgweb)
4. the last of the infinite product proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 12 min build duration;
• 1 hr 17 min total from scheduled to completion.