Fix indentation and bug #8895

This commit is contained in:
Michael Scherer 2014-09-21 17:10:59 +02:00
parent 0d0576a97f
commit 7420a450a5