#920 (May 24, 2017, 3:55:02 PM)

1. proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings; (detail / hgweb)
2. tuned; (detail / hgweb)
3. proper index; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 54 min build duration;
• 59 min total from scheduled to completion.