Fixed a linting error.

This commit is contained in:
acsbendi 2019-07-17 21:15:31 +02:00
parent c8abd43c88
commit 4834fc41c6