Perform minor style correction

This commit is contained in:
Daniel Richtmann
2017-10-27 14:46:18 +02:00
parent 54128d579a
commit 5a477ed29e