fix linting error

This commit is contained in:
Martin Plattner 2020-09-04 18:51:02 +02:00
parent bc47d69df9
commit ed918cca87