Re: ping: [patch 2/2] [+doc] New -iex and -ix: -ex and -x before inferior load

Tom Tromey
2012-03-16T20:51:40Z

Jan> Going to check it in after a few days unless there are more comments.
Jan> I hope it is considered generally useful not only by me.

Yes.

Tom