30 Mar
2019
30 Mar
'19
11:46 a.m.
On 30 Mar 2019, at 11:21, Paul Moore
Note that the proposed name (trim) is IMO "poorly named", because a number of languages in my experience use that name for what Python calls "strip", so there would be continual confusion (for me at least) over which name meant which behaviour..
That isn't the proposal as it stands now. The consensus among those supporting the idea is "strip_prefix" and "strip_suffix". Let's debate that. / Anders