#866 (Apr 27, 2017, 12:59:07 PM)

1. merged (detail / hgweb)
2. Fixes for 91e451bc0f1f. (For simprule status of exp_of_nat_mult and removal of  powr_divide2) (detail / hgweb)

Started by an SCM change

This run spent:

• 5.1 sec waiting;
• 2 hr 40 min build duration;
• 2 hr 40 min total from scheduled to completion.