#1069 (Nov 26, 2019, 12:50:07 AM)

1. support for output messages; (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned -- avoid deprecated constructors; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. avoid vacuous session Pure -- dump does not read_pure_theory; (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 1 hr 11 min build duration;
• 1 hr 11 min total from scheduled to completion.