Nicolas Goaziou <n.goaz...@gmail.com> writes: > I attach the suggested patch. I removed parenthesis-grouping for the > reasons I gave above. Carsten: if you'd rather keep this feature, let me > know, I'll provide another patch.
Applied, but I kept parenthesis-grouping.