#893 (May 10, 2017, 8:21:07 PM)

1. made SMT reconstruction more complete (bug report by Lukas Bulwahn) (detail / hgweb)
2. tuning (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 0 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 8 min total from scheduled to completion.