Build #231 (Dec 3, 2018 4:47:09 AM)

1. Fix handling mouse input in config guis (details / githubweb)

Started by an SCM change

This run spent:

• 8.6 sec waiting;
• 31 sec build duration;
• 40 sec total from scheduled to completion.

• origin/1.12