Merge branch 'Jalview-JS/develop' of https://source.jalview.org/git/jalview into...
authorsoares <bsoares@dundee.ac.uk>
Thu, 28 May 2020 21:07:28 +0000 (22:07 +0100)
committersoares <bsoares@dundee.ac.uk>
Thu, 28 May 2020 21:07:28 +0000 (22:07 +0100)

Trivial merge