În data de Tue, 21 Apr 2020 18:43:43 +0200, Patrick Storz a scris:
would you mind creating a merge request on GitLab with the updated file?
Will try. I never worked with GitLab/GitHub/GitWhatever and generally speaking nor I intend to, but I will give it a try for this purpose. In case I will fail, I will ask again here.