Guido van Rossum added the comment: Sigh. Here it is. ---------- keywords: +patch Added file: http://bugs.python.org/file31946/TB.patch _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue19146> _______________________________________