#906 (May 19, 2017, 2:08:11 PM)

1. Tuned metadata for Bertrands_Postulate (detail / hgweb)
2. Added character substitution to Regular-Sets (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 3 min 50 sec build duration;
• 3 min 59 sec total from scheduled to completion.