#1731 (Jun 11, 2018, 10:49:50 PM)

1. merged (detail / hgweb)
2. more abstract Export.Provider; (detail / hgweb)
3. clarified signature: persistent results; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned def. of del and proved preservation of rbt (finally) (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 51 min build duration;
• 57 min total from scheduled to completion.