Ezio Melotti added the comment: See also #13472 for a related discussion. ---------- keywords: +easy stage: -> needs patch type: -> enhancement _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue17845> _______________________________________