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

[Joel Brobecker <brobecker@adacore.com>]

> > 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?

Well, I thought that Pedro hadn't had a chance to expose his arguments,
yet, and maybe they might have affected your point of view?

> > 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.

For myself, I'm happy either way, even if I tend to indeed prefer #3
(now).  I think Pedro had a soft preference also, but I will let him
confirm.  In this case, you are the Maintainer of the GDB documentation,
so I would tend to give you more weight in that decision.

Based on this reply, do I understand correctly that you still think
we should remove these commands from the manual?

-- 
Joel