R. David Murray added the comment: Looks like this was left open for post-commit review, but since no one has objected (and it looks fine to me) I'm going to close it. ---------- nosy: +r.david.murray resolution: -> fixed stage: commit review -> resolved status: open -> closed _______________________________________ Python tracker <report@bugs.python.org> <http://bugs.python.org/issue16728> _______________________________________