From: Ben Soares Date: Wed, 26 Jun 2019 15:33:37 +0000 (+0100) Subject: Merge branch 'develop' into improvement/JAL-3322_getdown_splashscreen_visibility X-Git-Tag: Release_2_11_0~3^2~1^2~1 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=8725d0e07de201372db2854a244ecf7180492376;p=jalview.git Merge branch 'develop' into improvement/JAL-3322_getdown_splashscreen_visibility merging with develop --- 8725d0e07de201372db2854a244ecf7180492376