From 34fef1d1383f2e921c79158966aae12b83e69811 Mon Sep 17 00:00:00 2001 From: Manuel Thalmann Date: Sat, 29 Jul 2023 21:13:25 +0200 Subject: [PATCH] Remove unnecessary white space characters