Build #74 (21/07/2017, 5:44:58 AM)

1. Text-based editors: the font size doesn't get reset anymore when (commit: dd46fb2) (details / githubweb)
2. Slight update to our downloads page (#1369). (commit: d40cf36) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 7.3 sec waiting;
• 32 min build duration;
• 32 min total from scheduled to completion.

• refs/remotes/origin/master