Bug fix release 10-Oct-2019

[jsachs]

I have posted a new release (10-Oct-2019).

The changes (taken from the update log) are:

Fixed problem in scaling of full-screen images.

Smudge Tool: fixed problem causing brush to disappear.