#871 (Apr 30, 2017, 5:52:02 PM)

1. tuned signature; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. clarified database update: full ml_statistics on server, no ml_statistics on plain file; (detail / hgweb)
4. parse ml_statistics only when required; (detail / hgweb)
5. clarified database layout: bulky ml_statistics are stored/retrieved separately; (detail / hgweb)
6. support for qualified names, which are not quoted (e.g. for SQLite);
   more operations; (detail / hgweb)
7. clarified dummy Session_Entry; (detail / hgweb)
8. clarified database update operations;
   more efficient log_file processing;
   tuned; (detail / hgweb)
9. tuned message; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 55 min build duration;
• 1 hr 0 min total from scheduled to completion.