More formatting fixes

This commit is contained in:
Bernhard Froehlich
2018-12-20 11:13:05 +00:00
parent 6427f0ec23
commit dbe4c3bc50