#1839 (Dec 18, 2022, 12:59:35 AM)

1. merged (detail / hgweb)
2. Tuned text (detail / hgweb)
3. clarified signature: avoid confusion due to redundant standard_path, which is already used here (but not elsewhere); (detail / hgweb)
4. clarified signature: avoid case class with redefined equality; (detail / hgweb)
5. discontinued somewhat pointless dependency: avoid illusion of extra accuracy (see also 09fb749d1a1e and 0f750a6dc754); (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. unused; (detail / hgweb)
9. clarified signature; (detail / hgweb)
10. tuned whitespace; (detail / hgweb)
11. tuned; (detail / hgweb)
12. clarified signature; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. tuned output; (detail / hgweb)
15. prefer SML here (detail / hgweb)
16. Typo. (detail / hgweb)

Started by an SCM change

This run spent:

• 9 min 33 sec waiting;
• 1 hr 52 min build duration;
• 2 hr 1 min total from scheduled to completion.