From: Ben Soares Date: Wed, 16 Aug 2023 16:48:07 +0000 (+0100) Subject: Merge branch 'develop' into improvement/JAL-3830_remove_dock_icon_in_headless_mode X-Git-Tag: Release_2_11_3_0~8^2~30^2~4 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=c1dcb09854c692731f2a84790d2af504e13b8fd4 Merge branch 'develop' into improvement/JAL-3830_remove_dock_icon_in_headless_mode --- c1dcb09854c692731f2a84790d2af504e13b8fd4