#458 (Oct 28, 2017, 12:50:11 AM)

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:

• 9.1 sec waiting;
• 1 hr 22 min build duration;
• 1 hr 22 min total from scheduled to completion.