#1016 (Aug 17, 2017, 4:02:09 PM)

1. theory_qualifier for overlapping sessions; (detail / hgweb)
2. clarified imports; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.3 sec waiting;
• 1 hr 18 min build duration;
• 1 hr 19 min total from scheduled to completion.