[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Native line numbers landed on master

From: Eli Zaretskii
Subject: Re: Native line numbers landed on master
Date: Tue, 11 Jul 2017 21:04:25 +0300

> 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.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]