> 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! ;-)

regards Uwe

Reply via email to