Christian Heimes added the comment: ping RMs ---------- nosy: +benjamin.peterson, georg.brandl, larry _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue18603> _______________________________________