On Wed, Jun 13, 2018 at 9:03 AM Linus Torvalds <[email protected]> wrote: > > This is a pretty dangerous silent change.
I've merged it despite this, but I think we need to revisit the whole
issue. Possibly by just renaming that option, so that people _see_ the
change and get asked about it.
Linus
