Merge branch 'Jalview-JS/develop' into Jalview-JS/develop_with_gradle_build
authorBen Soares <b.soares@dundee.ac.uk>
Tue, 5 Nov 2019 21:44:27 +0000 (21:44 +0000)
committerBen Soares <b.soares@dundee.ac.uk>
Tue, 5 Nov 2019 21:44:27 +0000 (21:44 +0000)

Trivial merge