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. -- Pedro Alves