Closed gioman closed 7 years ago
ah indent is separate already in #351 so closing this one
@bartvde is this fixed?
no sorry it's not, I think I closed the wrong ticket
this is fixed now