#858 (Jan 30, 2019, 12:50:08 AM)

1. updated to jdk-11.0.2+9; (detail / hgweb)
2. eliminated suspicious Unicode; (detail / hgweb)
3. eliminated hard TABs; (detail / hgweb)
4. merged (detail / hgweb)
5. moved generalized material (detail / hgweb)
6. some new results in group theory (detail / hgweb)
7. less odd class.second_countable_topology_def (detail / hgweb)

Started by an SCM change

This run spent:

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