#1486 (Feb 25, 2018, 5:01:05 PM)

1. merged (detail / hgweb)
2. new material on matrices, etc., and consolidating duplicate results about of_nat (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 3 hr 21 min build duration;
• 3 hr 26 min total from scheduled to completion.