On Tue, 19 Jul 2022 16:50:20 +0200 Tobias Frost <t...@coldtobi.de>
wrote:
> Control: tags 1004640 + patch

Regarding the patch tag: I've pushed the changes directly to the gitlab
repository.

-- 
tobi

Reply via email to