On 15 October 2013 13:12, Glenn Linderman <[email protected]> wrote: > Of course, if the name were changed to be accurate, or the feature made less > prone to misuse, then maybe it would terminate.
I've come to the conclusion it makes sense to rename it from ignore to suppress, since that's the term already used for this operation in the rest of the context management docs: http://bugs.python.org/issue19266 Given the number of people vehemently opposed to the old name, I'm sure there will be plenty of volunteers to create a patch while I do some more work on PEP 453 :) Cheers, Nick. -- Nick Coghlan | [email protected] | Brisbane, Australia _______________________________________________ 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
