Merge branch 'patch/JAL-3538_fontantialiasingbydefault' into develop
authorJim Procter <jprocter@issues.jalview.org>
Wed, 19 Feb 2020 12:05:57 +0000 (12:05 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 19 Feb 2020 12:05:57 +0000 (12:05 +0000)

Trivial merge