fix style issue

This commit is contained in:
Wolfgang Hottgenroth 2019-09-10 16:35:51 +02:00
parent 0f007b058d
commit 2930d39345
Signed by: wn
GPG Key ID: 6C1E5E531E0D5D7F