From: kiramt Date: Mon, 22 May 2017 10:57:47 +0000 (+0100) Subject: Merge remote-tracking branch 'origin/bug/JAL-2256' into develop X-Git-Tag: Release_2_10_2~3^2~74 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=627dd53e3e3599441889da07cf08cff3f08a0215;hp=-c;p=jalview.git Merge remote-tracking branch 'origin/bug/JAL-2256' into develop --- 627dd53e3e3599441889da07cf08cff3f08a0215