#1678 (Jun 15, 2018, 4:56:08 PM)

1. adapted to devel (detail / hgweb)
2. adapted to devel (detail / hgweb)
3. merged (detail / hgweb)
4. adapted to devel (detail / hgweb)
5. remove stale .shtml files (detail / hgweb)
6. sitegen: run --check by default (detail / hgweb)
7. metadata: remove outdated email addresses (detail / hgweb)
8. merged (detail / hgweb)
9. updated to devel (detail / hgweb)
10. merged (detail / hgweb)
11. moved some infinite product material to Analysis (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.