From: Ben Soares Date: Wed, 8 Jul 2020 14:45:54 +0000 (+0100) Subject: Merge branch 'bug/JAL-3541_cherry_pick_to_releases_Release_2_11_1_Branch' into task... X-Git-Tag: Release_2_11_1_1~13^2~26^2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=057fd8973bf673af53b66ec7f8523f2f06814643;p=jalview.git Merge branch 'bug/JAL-3541_cherry_pick_to_releases_Release_2_11_1_Branch' into task/JAL-3608_and_JAL-3609_merged_for_Release_2_11_1_Branch --- 057fd8973bf673af53b66ec7f8523f2f06814643