Fix linting

This commit is contained in:
Wolfgang Huß 2023-07-20 15:42:40 +02:00
parent 074711dd90
commit b26e454562