Re: Native line numbers landed on master

[Eli Zaretskii]

> From: Stefan Monnier <address@hidden>
> Cc: address@hidden
> Date: Tue, 11 Jul 2017 13:48:03 -0400
> 
> > As long as we (or, rather, you) tell others to prefer that style, it's
> > not way down the list.
> 
> I didn't tell anyone to prefer that style, actually (or at least,
> I tried to write it such that it doesn't say that, maybe I failed).

Well, they surely did get those ideas from someone, because the
documentation doesn't say anything about it.

> You might still decide that the # is too ugly to keep it where it's
> not absolutely needed.

And start yet another bikeshedding argument about something that isn't
considered a project-wide guideline?  No, thanks.