Merge branch 'releases/Release_2_10_2b1_Branch' of http://source.jalview.org/git...
authorJim Procter <jprocter@issues.jalview.org>
Mon, 4 Sep 2017 09:31:26 +0000 (10:31 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Mon, 4 Sep 2017 09:31:26 +0000 (10:31 +0100)
1  2 
src/jalview/gui/OverviewPanel.java

Simple merge