Hi, On Thu, 9 Jul 2015, Jakub Jelinek wrote:
> That violates the coding style by not using tabs ;) I knew it! Somebody would notice, pffft. Fixed in the committed version. Ciao, Michael. PS: this still isn't fully correct, as sometimes I start the strings with spaces which don't count towards the indent parameter, I don't align code coming from (with ...) and long lines aren't broken up. Left as an excercise for the reader ;)
