Thomas Kluyver added the comment: Duplicate of issue 4931. This function should be entirely unnecessary now. ---------- nosy: +takluyver _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19333> _______________________________________