Build #3006 (Nov 7, 2023, 3:31:09 PM)

1. Fixed #371 - Switch default font name to Verdana (details / githubweb)

Started by an SCM change

This run spent:

• 20 sec waiting;
• 9 min 27 sec build duration;
• 9 min 35 sec total from scheduled to completion.

• develop