#356 (Jun 24, 2017, 12:50:06 AM)

1. merged (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. tuned; (detail / hgweb)
4. NEWS; (detail / hgweb)
5. indentation of keywords after input; (detail / hgweb)
6. indent = 0 for blank lines: produce less whitespace by default; (detail / hgweb)
7. clarified prev_line: stop at blank line; (detail / hgweb)
8. more information; (detail / hgweb)
9. tuned signature; (detail / hgweb)
10. tuned; (detail / hgweb)
11. avoid trailing spaces; (detail / hgweb)
12. clarified modules;
    tuned; (detail / hgweb)
13. Merged (detail / hgweb)
14. distrib_lattice instance for filters (detail / hgweb)

Started by an SCM change

This run spent:

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