[Python-ideas] New explicit methods to trim strings
Steven D'Aprano
steve at pearwood.info
Sat Mar 30 04:29:25 EDT 2019
On Sat, Mar 30, 2019 at 12:15:00AM -0700, Christopher Barker wrote:
> On Fri, Mar 29, 2019 at 6:38 PM Steven D'Aprano <steve at pearwood.info> wrote:
>
> > On Fri, Mar 29, 2019 at 04:05:55PM -0700, Christopher Barker wrote:
> >
> > > This proposal would provide a minor gain for an even more minor
> > disruption.
> >
> > I don't think that is correct. I think you are underestimating the gain
> > and exaggerating the disruption :-)
>
>
> I am very confused - I made that statement in response to a post of yours (
> unless I got the attribution wrong) in which you seemed to be arguing
> against the proposal.
That was the other Steven, the one who spells his name with a PH instead
of a V :-)
--
Steven
More information about the Python-ideas
mailing list