#1564 (May 7, 2018, 11:11:11 AM)

1. merged (detail / hgweb)
2. fixed explicit theory references (detail / hgweb)

Started by an SCM change

This run spent:

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