#1510 (Apr 14, 2018, 10:32:39 PM)

1. merge (detail / hgweb)
2. bounds for numerator and denominator of mu-values in LLL-algorithm (detail / hgweb)

Started by an SCM change

This run spent:

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