On Sunday 29 April 2007 16:48:35 Michael Gerz wrote: > Hi, > > 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).
AFAIU this is consensual, so please go ahead. > Michael -- José Abílio
