Am 11.10.2013 11:43, schrieb Victor Stinner: > [We are discussing issue #15806.] > > 2013/10/11 Antoine Pitrou <[email protected]>: >> I don't think that this contextlib.ignore() thing has been discussed a >> lot. > > If we decide to keep the feature, I would prefer a less generic name: > contextlib.ignore_excep()
Srsly? :) Georg _______________________________________________ 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
