#881 (May 4, 2017, 4:22:03 PM)

1. Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/SourceTreeTemp.jiRMht (detail / hgweb)
2. A few more new lemmas (detail / hgweb)

Started by an SCM change

This run spent:

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