#810 (Dec 8, 2018, 12:50:10 AM)

1. clarified session dependencies: faster build_doc/build_release; (detail / hgweb)
2. merged (detail / hgweb)
3. updated to modern symbols (detail / hgweb)
4. updated to stack-1.9.3;
   proper settings for Windows; (detail / hgweb)
5. more robust; (detail / hgweb)
6. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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