R. David Murray added the comment: Guido: I've added developer privs to your Guido.van.Rossum account. ---------- nosy: +r.david.murray _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue21988> _______________________________________