Re: [rfa] Use get_number_or_range for kill inferior etc.

Pedro Alves
2011-02-26T11:54:49Z

On Friday 25 February 2011 22:10:01, Michael Snyder wrote:

> Revised patch attached.

Looks good to me. Thanks.

--
Pedro Alves