fix indenting which broke in last merge

This commit is contained in:
Uwe Steinmann 2018-02-08 14:30:33 +01:00
parent fe8e6f5a24
commit 7c98ede3fd