chiark / gitweb /
py/rmcr.py: More useful diagnostics for uncaught exceptions.