> Date: Thu, 13 Feb 2014 20:43:07 +0400 > From: Joel Brobecker <brobecker@adacore.com> > Cc: palves@redhat.com, gdb-patches@sourceware.org > > Based on this reply, do I understand correctly that you still think > we should remove these commands from the manual? I do. But I won't fight over it.