Re: [PATCH 2/2] new tracepoint downloaded MI notification.

Tom Tromey
2012-09-28T18:29:46Z

Tom> Looks good to me.
Tom> Ok.

Though of course you should listen to Pedro first.
I didn't see his responses before replying.

Tom