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

Michael Snyder
2011-02-27T20:51:22Z

Pedro Alves wrote:
> On Friday 25 February 2011 22:10:01, Michael Snyder wrote:
>
>> Revised patch attached.
>
> Looks good to me. Thanks.
>

Thank you. Committed.