On Oct 12, 2013, at 09:06 AM, Nick Coghlan wrote: >I'm not too fussy about the name (clearly). We originally picked ignored(), >Raymond asked if he could change it to ignore() (and I said yes),
Just as a point of order, it would be good to capture such side-channel discussions in the relevant issue. Mysterious decisions like this are easy to miss in the deluge of checkin messages, and don't help promote a transparent development process. Cheers, -Barry _______________________________________________ Python-Dev mailing list [email protected] https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com