Fix indentation and bug #8895

This commit is contained in:
Michael Scherer 2014-09-21 17:10:59 +02:00
parent 1bae4e4df1
commit dc31585f59