From: Jim Procter Date: Mon, 17 Aug 2020 09:03:47 +0000 (+0100) Subject: Merge branch 'patch/JAL-3597_for_Release_2_11_1_Branch' into releases/Release_2_11_1_... X-Git-Tag: Release_2_11_1_1~13^2~12 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=f7c18c26f79036d16740e3077f172f8e9a9c2d32;p=jalview.git Merge branch 'patch/JAL-3597_for_Release_2_11_1_Branch' into releases/Release_2_11_1_Branch --- f7c18c26f79036d16740e3077f172f8e9a9c2d32