Fix make lint

This commit is contained in:
Felix Schütt
2023-01-19 17:32:20 +01:00
parent 4c770dd157
commit a33cb20c3b