Jeremy Kloth added the comment: Ah, yes indeeed. Sorry for the noise as it was that my local repos were having some syncing issues so I had out of date sources.
Marking as closed (fixed) and duplicate of issue17432. ---------- resolution: -> duplicate status: open -> closed _______________________________________ Python tracker <rep...@bugs.python.org> <http://bugs.python.org/issue22400> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
