Merge branch 'patch/JAL-3700_JAL-3748_JAL-3763_for_2_11_1_3' into releases/Release_2_...
authorJim Procter <jprocter@issues.jalview.org>
Thu, 29 Oct 2020 14:24:24 +0000 (14:24 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Thu, 29 Oct 2020 14:24:24 +0000 (14:24 +0000)

Trivial merge