Minor style fix.

This commit is contained in:
Oliver Schmidt
2017-10-23 18:22:51 +02:00
parent 4da1d3232f
commit c8d6ca908d