Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview into...
authorsoares <bsoares@dundee.ac.uk>
Wed, 1 Apr 2020 14:20:01 +0000 (15:20 +0100)
committersoares <bsoares@dundee.ac.uk>
Wed, 1 Apr 2020 14:20:01 +0000 (15:20 +0100)

Trivial merge