From: gmungoc Date: Mon, 8 May 2017 12:17:04 +0000 (+0100) Subject: Merge remote-tracking branch 'origin/bug/JAL-2515' into develop X-Git-Tag: Release_2_10_2~3^2~99 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=0371f5f0ed32f99be101d65543c2adcb5c900e6e;p=jalview.git Merge remote-tracking branch 'origin/bug/JAL-2515' into develop --- 0371f5f0ed32f99be101d65543c2adcb5c900e6e