On 5/23/12 4:15 AM, Pedro Alves wrote:
> On 05/23/2012 01:28 AM, Stan Shebs wrote:
>
>> 2012-05-22  Stan Shebs<stan@codesourcery.com>
>>          Kwok Cheung Yeung<kcy@codesourcery.com>
>
>>      * gdb.texinfo (Miscellaneous GDB/MI Commands): Document -info-os.
>
> This appears missing from the patch.
>
Argh!  OK, this one has it in.

Stan