Uwe Stöhr wrote:
> the attached patch changes some uses of the term "glossary" to
"nomenclature".
>
> I will commit as soon as I get two OKs. (José vote will count as two).
Why that? The official name for this is "Glossary" and is used in all my
books I have?
I therefore vote for no, so now you need three OKs ;-).
And no, everybody is counting with a single vote - that's democracy! ;-)
Let's stop with this democracy thing. I think your vote count more than
mine because you obviously know more than me ;-)
As for my opinion: I think such labelling should be customizable. There
are as many preferences as solutions.
Abdel.