[Python-ideas] Add `Executor.filter`

[Ethan Furman]

On 05/14/2015 01:17 PM, Ram Rachum wrote:
> I'd like to move `Executor.filter` forward, if that's possible. Can we
> get more people on the list to express their opinion about whether
> `Executor.filter` should be added to the stdlib? (See my implementation
> in a previous message on this thread.)

Open up an issue on the tracker and attach your patch.

--
~Ethan~