#379 (Jul 29, 2017, 12:50:06 AM)

1. introduced option for nat-as-int in SMT (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 20 min total from scheduled to completion.