R. David Murray added the comment: Interestingly, this just came up again in issue 30717. ---------- nosy: +r.david.murray _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue12568> _______________________________________