#1903 (Mar 1, 2023, 12:50:09 AM)

1. tuned; (detail / hgweb)
2. clarified scope of "serial" and "numa_index" within database; (detail / hgweb)
3. clarified signature: allow more general init, e.g. from existing database; (detail / hgweb)
4. clarified signature: allow to provide session_heaps by different means, e.g. from tmp directory or alternative session structure; (detail / hgweb)
5. tuned; (detail / hgweb)
6. simplified somewhat pointless error message (see also 0189fe0f6452); (detail / hgweb)
7. clafified signature: simplify object-oriented reuse; (detail / hgweb)
8. revert pointless 375c6b9ce9ea: overall thread context is already uninterruptible (see 54ac957c53ec); (detail / hgweb)
9. tuned whitespace; (detail / hgweb)
10. merged (detail / hgweb)
11. Fixed a presentation error (detail / hgweb)
12. Importation of basic group theory results, due to Jakob von Raumer from his AFP entry Jordan-Hölder Theorem (detail / hgweb)

Started by an SCM change

This run spent:

• 8 sec waiting;
• 1 hr 52 min build duration;
• 1 hr 52 min total from scheduled to completion.