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

[Tom Tromey]

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