Georg Brandl <georg at python.org> added the comment: Applied, with small changes, in r82951. ---------- nosy: +georg.brandl _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue9110> _______________________________________