fix linting, will be squashed later

This commit is contained in:
Lukas Kitsche 2022-09-24 00:56:43 +02:00
parent 43aae1bd82
commit 599eb18245