Georg Brandl added the comment: Set as superseder of #685846 and #1113. ---------- nosy: +georg.brandl ____________________________________ Tracker <report at bugs.python.org> <http://bugs.python.org/issue706406> ____________________________________