Christian Heimes <lists at cheimes.de> added the comment: Victor's patch fixes the issue with #3723. _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue4213> _______________________________________