Merge branch 'develop' into documentation/JAL-3111_release_211
authorJim Procter <jprocter@issues.jalview.org>
Wed, 17 Apr 2019 12:53:16 +0000 (13:53 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 17 Apr 2019 12:53:16 +0000 (13:53 +0100)

Trivial merge