Merge branch 'develop' into releases/Release_2_11_Branch
authorJalview Development Admin <jalview-dev-owner@jalview.org>
Tue, 28 May 2019 12:43:21 +0000 (13:43 +0100)
committerJalview Development Admin <jalview-dev-owner@jalview.org>
Tue, 28 May 2019 12:43:21 +0000 (13:43 +0100)
commit08013bb0d3f603fa376d0b013f4ccb3ff1642bd7
tree21895d9e16e7039321689466836382bce1e89bdc
parentce3df766c55f0fad993a6aa5f710ae2a7dd40321
parent82a275626a533a43e8f935c1b7749971d55562d7
Merge branch 'develop' into releases/Release_2_11_Branch