From: Ben Soares Date: Thu, 27 Feb 2020 16:18:02 +0000 (+0000) Subject: Merge branch 'develop' into improvement/JAL-3543_dont_report_null_versions_in_java_co... X-Git-Tag: Develop-2_11_2_0-d20201215~80^2~1 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=35ba75628555c1bc0cac29cff8354883c9ee324c;p=jalview.git Merge branch 'develop' into improvement/JAL-3543_dont_report_null_versions_in_java_console Merging with develop --- 35ba75628555c1bc0cac29cff8354883c9ee324c