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

Joel Brobecker
2014-02-13T16:43:08Z

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