#454 (Oct 24, 2017, 12:50:08 AM)

1. discontinued Linux 32bit platform support; (detail / hgweb)
2. obsolete; (detail / hgweb)
3. merged (detail / hgweb)
4. updated to jdk-8u152, which is for x86_64 only; (detail / hgweb)
5. added lemma (detail / hgweb)
6. minor performance tuning: avoid mutable variable for plain value, e.g. relevant for GC; (detail / hgweb)

Started by an SCM change

This run spent:

• 7 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 18 min total from scheduled to completion.