#651 (Jun 5, 2018, 12:50:10 AM)

1. updated URLs; (detail / hgweb)
2. merged (detail / hgweb)
3. more robust; (detail / hgweb)
4. avoid hardwired cygwin mirror; (detail / hgweb)
5. updated to current Cygwin, after 2.10.0-1 from 02-Feb-2018;
   record cygwin mirror explicitly; (detail / hgweb)
6. NEWS: infinite products (detail / hgweb)
7. merged (detail / hgweb)
8. more tweaks of Cauchy (detail / hgweb)
9. clarified signature;
   simplified options; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 1 hr 15 min build duration;
• 1 hr 15 min total from scheduled to completion.