From f54aa0aa3f0caf88372e1f010b2b7c6a3a804d81 Mon Sep 17 00:00:00 2001
From: Mugr Rex <no.reply@mugr.expert>
Date: Wed, 19 Apr 2023 11:25:02 +0200
Subject: [PATCH] Make GitHub and CI happy