Merge branch 'Jalview-JS/develop' into Jalview-JS/develop_with_gradle_build
authorBen Soares <bsoares@dundee.ac.uk>
Thu, 31 Oct 2019 10:56:56 +0000 (10:56 +0000)
committerBen Soares <bsoares@dundee.ac.uk>
Thu, 31 Oct 2019 10:56:56 +0000 (10:56 +0000)

Trivial merge