From: gmungoc Date: Tue, 5 Mar 2019 12:40:08 +0000 (+0000) Subject: Merge remote-tracking branch 'origin/bug/JAL-2839findWithHidden' into merge/JAL-2839_2933 X-Git-Tag: Release_2_11_0~17^2~67 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=9c8b674e5ab62309b0df090977c8bf8288deb98b Merge remote-tracking branch 'origin/bug/JAL-2839findWithHidden' into merge/JAL-2839_2933 --- 9c8b674e5ab62309b0df090977c8bf8288deb98b