[IPython-dev] Paul Ivanov: Did you get any feedback from GH when I merged?

[Fernando Perez]

Hi Paul,

I just applied your pull request into trunk, thanks a lot for the bug
fix.  I used the GH interface to do it, and I'm curious whether it
generated any feedback to you when that happened or not.

Cheers,

f