#2130 (Feb 19, 2024, 12:50:08 AM)

1. time funs: +1 instead of 1+ (detail / hgweb)
2. minor performance tuning; (detail / hgweb)
3. clarified signature: more comprehensive operations; (detail / hgweb)
4. clarified signature: more explicit types; (detail / hgweb)
5. clarified signature: emphasize physical db files; (detail / hgweb)
6. tuned: afford untyped/unscoped update; (detail / hgweb)
7. clarified signature: avoid ill-defined type java.net.URL; (detail / hgweb)
8. unused; (detail / hgweb)

Started by an SCM change

This run spent:

• 7.1 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.