Jurjen N.E. Bos <[email protected]> added the comment:
Yes. That would make me happy. In the meantime I learned how to use git, so maybe I'll do the pull request myself next time. Thanks for the work. ---------- _______________________________________ Python tracker <[email protected]> <https://bugs.python.org/issue24925> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
