From: Ben Soares Date: Wed, 8 Jul 2020 11:25:26 +0000 (+0100) Subject: Merge branch 'task/JAL-3609_HiDPI_support_in_java' into task/JAL-3608_and_JAL-3609_me... X-Git-Tag: Release_2_11_1_1~13^2~26^2~2 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=d6bad6f349e48d5dbb375cc03adbaa0adccb3e3e Merge branch 'task/JAL-3609_HiDPI_support_in_java' into task/JAL-3608_and_JAL-3609_merged_for_Release_2_11_1_Branch --- d6bad6f349e48d5dbb375cc03adbaa0adccb3e3e