#268 (Feb 28, 2017, 12:50:08 AM)

1. merged (detail / hgweb)
2. more links; (detail / hgweb)
3. clarified priority: zero can mean unknown/long or irrelevant/short time; (detail / hgweb)
4. absent timing information means zero, according to 0070053570c4, f235646b1b73; (detail / hgweb)
5. Some new lemmas thanks to Lukas Bulwahn. Also, NEWS. (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 10 min build duration;
• 1 hr 10 min total from scheduled to completion.