Hi,

I've updated my Python/GDB readline patch for the new SIGINT handling patch that you've just checked in, Tom. The only change is that there's no longer any need to swap SIGINT handlers. If it's alright, I'll check it in.

Yit
August 22, 2012