#655 (Jun 10, 2018, 12:50:10 AM)

1. clarified signature: more uniform theory_message (see also d7920eb7de54); (detail / hgweb)
2. tuned -- use existing operation; (detail / hgweb)

Started by an SCM change

This run spent:

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