#968 (Jun 20, 2017, 4:19:58 PM)

1. tuning (detail / hgweb)
2. SMT news (detail / hgweb)
3. correctly unfold applied 'let's (e.g. '(let x = a in f) b') -- and removed dead code (detail / hgweb)

Started by an SCM change

This run spent:

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