Merge branch 'master' into releases/Release_2_11_2_Branch
authorJalview Development Admin <jalview-dev-owner@jalview.org>
Thu, 10 Mar 2022 17:40:40 +0000 (17:40 +0000)
committerJalview Development Admin <jalview-dev-owner@jalview.org>
Thu, 10 Mar 2022 17:40:40 +0000 (17:40 +0000)

Trivial merge