#1204 (Oct 8, 2017, 4:01:05 PM)

1. removed obsolete RC tags; (detail / hgweb)
2. build_docker is regular tool (non-admin); (detail / hgweb)
3. merged (detail / hgweb)
4. Added tag Isabelle2017 for changeset 64b47495676d (detail / hgweb)
5. obsolete; (detail / hgweb)
6. more NEWS; (detail / hgweb)
7. updated for release; (detail / hgweb)

Started by an SCM change

This run spent:

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