#1247 (Oct 27, 2017, 5:22:05 PM)

1. some concrete commands;
   clarified messages; (detail / hgweb)
2. tuned signature; (detail / hgweb)
3. more formal messages; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. separate JSON parser, which is slightly more general than (deprecated) scala.util.parsing.json.JSON; (detail / hgweb)
6. more permissive; (detail / hgweb)
7. tuned; (detail / hgweb)
8. separate JSON lexer; (detail / hgweb)
9. clarified command language; (detail / hgweb)

Started by an SCM change

This run spent:

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