From d3a685b8847eb9dd897465d1af79fa2d84ccae6c Mon Sep 17 00:00:00 2001 From: Petar Hristov <hristov@itc.rwth-aachen.de> Date: Mon, 1 Aug 2022 10:07:20 +0200 Subject: [PATCH] Fix: Linter -- GitLab