Georg Brandl <georg at python.org> added the comment: Ping? ---------- nosy: +georg.brandl _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue3798> _______________________________________