Re: [Windows/RFA/commit] Deprecate windows-specific dll-symbols command and aliases

Eli Zaretskii
2014-02-13T16:02:39Z

> Date: Thu, 13 Feb 2014 16:01:03 +0400
> From: Joel Brobecker <brobecker@adacore.com>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
>
> Hi Eli,
>
> Since you are the official Maintainer of the GDB documentation,
> would you mind telling us what you think?

I thought I already did, in the beginning of this thread. Didn't I?

> I'd like us to make a decision, so that I can redo the documentation
> that goes with the patch.

What is the mechanism of making decisions when not everybody agrees?
If by majority, then it sounds like 2 out of 3 want/prefer alternative
#3.