From 86d4547e2c53ebd094fb1c5f81d5c9aabf8d175a Mon Sep 17 00:00:00 2001
From: 6543 <6543@obermui.de>
Date: Thu, 27 Jul 2023 13:55:46 +0200
Subject: [PATCH] CI.restart()