> From: Tom Tromey <tromey@redhat.com> > Cc: gdb-patches@sourceware.org > Date: Thu, 21 Feb 2013 11:52:30 -0700 > > I just did this because Texinfo 5 is in the Fedora build root, and I > thought it would be good for gdb to be warning-free there. It is good, indeed, thanks.