Re: [PATCH v2 00/25] Towards great frontend GDB consoles

Eli Zaretskii
2016-03-21T16:34:58Z

> From: Pedro Alves <palves@redhat.com>
> Cc: Marc Khouzam <marc.khouzam@ericsson.com>
> Date: Mon, 21 Mar 2016 15:20:50 +0000
>
> Add new command to create extra console/mi UI channels
> Add command to list UIs

Are these commands intended to remain undocumented?