some style nitpick

This commit is contained in:
Kazhnuz 2018-10-24 14:56:16 +02:00
parent cd6fc325ef
commit 83595b965a