> From: Tom Tromey <tromey@redhat.com> > Cc: gdb-patches@sourceware.org > Date: Mon, 22 Nov 2010 14:53:38 -0700 > > >>>>> "Eli" == Eli Zaretskii <eliz@gnu.org> writes: > > Eli> A copy/paste error? > > Yes. Here is a revised patch. OK for the doco part. Thanks.