Merge branch 'patch/JAL-3597_for_Release_2_11_1_Branch' into releases/Release_2_11_1_...
authorJim Procter <jprocter@issues.jalview.org>
Mon, 17 Aug 2020 09:03:47 +0000 (10:03 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Mon, 17 Aug 2020 09:03:47 +0000 (10:03 +0100)

Trivial merge