minor code style update

This commit is contained in:
tibbi
2020-08-20 10:25:26 +02:00
parent ba780f4c70
commit 05122df12e