#1481 (Jun 10, 2021, 12:50:14 AM)

1. merged (detail / hgweb)
2. tuned messages; (detail / hgweb)
3. NEWS; (detail / hgweb)
4. proper profiling within command execution: messages require PIDE id; (detail / hgweb)
5. more systematic treatment of profiling mode; (detail / hgweb)
6. tuned message; (detail / hgweb)
7. prefer less intrusive tracing message; (detail / hgweb)
8. clarified documentation: tracing messages are not shown here; (detail / hgweb)
9. add missing file; (detail / hgweb)
10. more formal ML profiling messages; (detail / hgweb)
11. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 1 hr 27 min build duration;
• 1 hr 28 min total from scheduled to completion.