Merge branch 'releases/Release_2_11_1_4_debianpatches' into task/JAL-3521_Slimmed_dow...
authorJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:24:58 +0000 (17:24 +0000)
committerJim Procter <jprocter@issues.jalview.org>
Fri, 5 Feb 2021 17:24:58 +0000 (17:24 +0000)

Trivial merge