#359 (Jun 28, 2017, 12:55:26 AM)

1. merged (detail / hgweb)
2. support for HTTP/POST method;
   more explict type HTTP.Arg; (detail / hgweb)
3. clarified defaults; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. auto update; (detail / hgweb)
6. added missing files (cf. 5aa9cb83e70e); (detail / hgweb)
7. auto update; (detail / hgweb)
8. GUI controls similar to Tools/jEdit/src/state_dockable.scala; (detail / hgweb)
9. GUI layout similar to Pure/GUI/wrap_panel.scala; (detail / hgweb)
10. Removed more "guess", etc. (detail / hgweb)
11. more error checking (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 24 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 26 min total from scheduled to completion.