> From: Tom Tromey <tromey@redhat.com> > Cc: <gdb-patches@sourceware.org> > Date: Thu, 18 Mar 2010 16:08:27 -0600 > > I think the documentation should reflect that the user can't choose the > encoding used here. I agree. It should also say which encoding is used by GDB in this case.