Re: [RFA 1/2] New GDB/MI command "-info-gdb-mi-command"

Eli Zaretskii
2013-11-19T16:09:30Z

> Date: Tue, 19 Nov 2013 08:10:22 +0400
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: gdb-patches@sourceware.org
>
> I don't have a strong opinion, and supporting both forms is pretty
> easy, so unless someone strongly objects to allowing the second
> form, I've just gone ahead and added it.

Thank you.

The documentation part is still OK.