#1715 (Jun 5, 2018, 1:07:45 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)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 1 hr 49 min build duration;
• 1 hr 54 min total from scheduled to completion.