#1257 (Oct 30, 2017, 9:10:57 PM)

1. merged (detail / hgweb)
2. recovered document from 9bfb6978eb80; (detail / hgweb)
3. NEWS; (detail / hgweb)
4. obsolete; (detail / hgweb)
5. tuned; (detail / hgweb)
6. ROOT cleanup: empty 'document_files' means there is no document; (detail / hgweb)
7. eliminated pointless warning (see a35af478aee4): empty 'document_files' means there is no document; (detail / hgweb)
8. more informative timeout message, notably for build_status; (detail / hgweb)
9. clarified: adapted to ML version; (detail / hgweb)
10. proper order of initialization (amending 9953ae603a23); (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 42 min build duration;
• 1 hr 47 min total from scheduled to completion.