Build #60 (Dec 12, 2020 7:13:10 AM)

1. Fix #2119 navigation button size is huge when the drawing area is moved down (details / githubweb)

Started by an SCM change

This run spent:

• 8.8 sec waiting;
• 21 sec build duration;
• 30 sec total from scheduled to completion.

• origin/1.16