This prevents CI from failing after the merge.
Signed-off-by: Wolfgang Walther <walther@technowledgy.de>