Jens Troeger <jens.troeger at gmail.com> added the comment: Thanks David: PR on Github (which is R/O) or where should I submit to? ---------- _______________________________________ Python tracker <report at bugs.python.org> <https://bugs.python.org/issue24218> _______________________________________