#1992 (Jul 26, 2023, 12:50:07 AM)

1. update for release; (detail / hgweb)
2. back out 9d5e2a08ba1b, hoping the server room stays sufficiently cool; (detail / hgweb)
3. performance tuning: prefer static simpset within functional closure of morphism (with notable impact on specifications "in" class, e.g. AFP/No_FTL_observers); (detail / hgweb)
4. clarified statistics; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 2 hr 3 min build duration;
• 2 hr 3 min total from scheduled to completion.