#416 (Sep 6, 2017, 12:50:08 AM)

1. merged (detail / hgweb)
2. introduced bst_wrt (detail / hgweb)
3. less aggressive default position: prefer persistent defaults maintained by jEdit (amending 89c5bb2a2128); (detail / hgweb)
4. tolerate more errors (cf. 1e5ae735e026); (detail / hgweb)

Started by an SCM change

This run spent:

• 7.4 sec waiting;
• 1 hr 16 min build duration;
• 1 hr 16 min total from scheduled to completion.