From: gmungoc Date: Tue, 5 Mar 2019 15:22:40 +0000 (+0000) Subject: Merge branch 'bug/JAL-2621' into develop X-Git-Tag: Release_2_11_0~17^2~65 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=5010b95e8e250e744eefc5a1c976d70c044be32f;p=jalview.git Merge branch 'bug/JAL-2621' into develop Conflicts: src/jalview/gui/OverviewPanel.java --- 5010b95e8e250e744eefc5a1c976d70c044be32f