From: Mateusz Warowny Date: Tue, 28 Mar 2023 12:57:43 +0000 (+0200) Subject: Merge branch 'JAL-4152-typed-singleton-provider' into mmw/Release_2_12_ws_merge X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=6c03a34084889aebdb94a8653a9955f8efd0da88;p=jalview.git Merge branch 'JAL-4152-typed-singleton-provider' into mmw/Release_2_12_ws_merge --- 6c03a34084889aebdb94a8653a9955f8efd0da88