#1183 (Sep 29, 2017, 4:58:03 PM)

1. Merge (resolved trivial conflict) (detail / hgweb)
2. New results for Green's theorem (detail / hgweb)

Started by an SCM change

This run spent:

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