Fix mixed indentation

Fixes #12758.
This commit is contained in:
Adrien Destugues
2016-08-21 16:53:49 +02:00
parent 385ee03ba8
commit a8aeb8a9e2