From 7e9370ab20d81df22804c9007aeff34a22d6f427 Mon Sep 17 00:00:00 2001
From: 6543 <6543@obermui.de>
Date: Sat, 17 Jul 2021 18:32:42 +0200
Subject: [PATCH] CI.restart()