> Date: Tue, 8 Mar 2011 14:41:00 -0500 > From: DJ Delorie <d...@redhat.com> > CC: ktiet...@googlemail.com, binut...@sourceware.org, > gdb-patc...@sourceware.org, gcc-patches@gcc.gnu.org > > > I see no harm in having both, for completeness, though.
I don't see any need for completeness in this case. But it's your call. I still think that the documentation should be fixed, though.