Build #225 (Nov 23, 2018 3:42:09 AM)

1. Fix #1405 Center search bar not centered after toggling overlay (details / githubweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 35 sec build duration;
• 44 sec total from scheduled to completion.

• origin/1.12