#510 (Oct 31, 2016, 9:47:09 AM)

1. two more lemmas for KBO (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 3 min 25 sec build duration;
• 3 min 32 sec total from scheduled to completion.