https://github.com/python/peps/commit/2d2ac2d2b66d4e37e8b930f5963735616bddbbe8
On Sat, Jan 6, 2018, at 08:56, Barry Warsaw wrote: > On Jan 6, 2018, at 11:43, Guido van Rossum <gu...@python.org> wrote: > > > > Maybe we should not delete them outright but add something like "(UPDATE: > > during later discussions it was decided that this feature shouldn't be > > added.)" > > +1 > > -Barry > > _______________________________________________ > Python-Dev mailing list > Python-Dev@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: > https://mail.python.org/mailman/options/python-dev/benjamin%40python.org > Email had 1 attachment: > + signature.asc > 1k (application/pgp-signature) _______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com