Oren Milman added the comment: So, should I open a pull request? (as some time had passed, I would also run again the tests, etc.) ---------- _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue28272> _______________________________________