#1637 (May 29, 2018, 1:53:10 PM)

1. merge from afp-2017 (detail / hgweb)
2. finish processing Optimal_BST entry (detail / hgweb)
3. new entry Optimal_BST (detail / hgweb)
4. website for Irrationality_J_Hancl (detail / hgweb)
5. new entry: Irrationality_J_Hancl (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 1 hr 9 min build duration;
• 1 hr 9 min total from scheduled to completion.