On 12 July 2016 at 04:14, Martin Panter <[email protected]> wrote: > On 12 July 2016 at 03:47, terry.reedy <[email protected]> wrote: >> https://hg.python.org/devguide/rev/cc1c0dd798e7 > > Terry it looks like you accidentally added Christian back (undoing > <https://hg.python.org/devguide/rev/cc1c0dd798e7>)
Sorry, you can ignore that, I see you already reverted it :) _______________________________________________ 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
