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 <rep...@bugs.python.org> <http://bugs.python.org/issue28272> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
