8 Sep
2015
8 Sep
'15
12:39 p.m.
That's still an extension (-XNondecreasingIndentation), just one enabled by default.
Interesting. Is there a list of extensions that are enabled by default? I'm sure whoever suggested it as default and not extension will be happy with this too. BTW, +1 from me for the proposal. Silvio