On Thu, Oct 07, 2010 at 11:15:27AM -0700, Brett Cannon wrote: > It's best to report issues at bugs.python.org.
Are different people reading it there? Following your suggestion, I've created http://bugs.python.org/issue10047 Please let me know what kind of further details you need. I still have the python sources, executable with debugging symbols and core dump lying around, so right now I can give feedback most quickly. Thanks, Thomas _______________________________________________ Python-Dev mailing list Python-Dev@python.org http://mail.python.org/mailman/listinfo/python-dev Unsubscribe: http://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
