#164 (Oct 9, 2016, 12:50:09 AM)

1. build_history log files with formal meta info; (detail / hgweb)
2. prefer explicit timezone offset for printing; (detail / hgweb)
3. tuned; (detail / hgweb)
4. tuned name of bit truncating operations (detail / hgweb)
5. dedicated syntax for types with a length (detail / hgweb)
6. merged (detail / hgweb)
7. prefer local timezone; (detail / hgweb)
8. support for Isabelle/Jenkins log file format; (detail / hgweb)
9. tuned; (detail / hgweb)
10. clarified meta info; (detail / hgweb)
11. tuned comment; (detail / hgweb)
12. tuned signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. more permissive: accept all historic isatest and afp-test logs; (detail / hgweb)
15. accept spurious empty logs; (detail / hgweb)
16. prefer static Date_Format; (detail / hgweb)
17. more formal directory content;
    clarified date format; (detail / hgweb)
18. tuned error; (detail / hgweb)
19. tuned; (detail / hgweb)
20. misc tuning and clarification; (detail / hgweb)
21. clarifying NEWS file (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.