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_4_0~199^2~4 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=c1dcb09854c692731f2a84790d2af504e13b8fd4;p=jalview.git Merge branch 'develop' into improvement/JAL-3830_remove_dock_icon_in_headless_mode --- c1dcb09854c692731f2a84790d2af504e13b8fd4