From 3ae2c33d97e6c6f4c0678791f81d72b6973b8925 Mon Sep 17 00:00:00 2001
From: Remco de Boer <29308176+redeboer@users.noreply.github.com>
Date: Sat, 2 Dec 2023 17:29:29 +0100
Subject: [PATCH] Kick CI