On 12/15, Linus Torvalds wrote: > > On Tue, Dec 15, 2020 at 2:48 PM Alejandro Colomar (man-pages) > <alx.manpa...@gmail.com> wrote: > > > > 1) Remove that paragraph, as if that behavior had never existed. > > If it's been 15 years since that paragraph was relevant, I think just > removing it is the right thing to do.
Agreed. Oleg.
