#870 (Feb 18, 2019, 12:50:10 AM)

1. clarified Node_Status vs. is_suppressed, e.g. relevant for purged nodes in Theories_Dockable after 0626cae56b6f; (detail / hgweb)
2. updated to polyml-test-8fda4fd22441; (detail / hgweb)

Started by an SCM change

This run spent:

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