From: kiramt Date: Wed, 15 Nov 2017 16:05:18 +0000 (+0000) Subject: Merge branch 'bug/JAL-2811' into bug/JAL-2831 X-Git-Tag: Release_2_10_3b1~28^2~2 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=accb26f3cc680534a35c012accbfb7e7383cc606;p=jalview.git Merge branch 'bug/JAL-2811' into bug/JAL-2831 --- accb26f3cc680534a35c012accbfb7e7383cc606