#1737 (Jul 26, 2022, 1:01:54 AM)

1. Avoid shadowing original List._ namespace. (detail / hgweb)
2. replaced complicated lemma by a simpler one (detail / hgweb)

Started by an SCM change

This run spent:

• 11 min waiting;
• 1 hr 47 min build duration;
• 1 hr 59 min total from scheduled to completion.