On Friday, 28 July 2017 17:53:08 UTC+1, Irmen de Jong wrote: > On 28/07/2017 18:36, Irmen de Jong wrote: > > On 27/07/2017 00:03, Paul Moore wrote: > >> If you want to create a feature request for a filter function on > >> bugs.python.org and assign it to me, I'll take a look at it. \ > > > > > > I will do this, thanks in advance. > > Should have included a link perhaps. Here it is: > http://bugs.python.org/issue31072
Thanks, I've picked it up and commented there. I'll try to get some time to look at an implementation, the main constraint at the moment is that it's holiday season and I'm enjoying myself with things other than coding :-) Paul -- https://mail.python.org/mailman/listinfo/python-list
