#991 (Jun 28, 2017, 12:01:06 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)

Started by an SCM change

This run spent:

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