Build #102 (19/09/2017, 1:12:34 AM)

1. QScintilla widget: added line numbers (#1413). (commit: af24b4e) (details / githubweb)
2. QScintilla widget: have line numbers scale properly (#1413). (commit: 9f72609) (details / githubweb)
3. Slight updates to our downloads and what is new pages (#1413). (commit: 7466a28) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 7.4 sec waiting;
• 2 hr 1 min build duration;
• 2 hr 1 min total from scheduled to completion.

• refs/remotes/origin/master