[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gendocs: Change maintainer.

From: Karl Berry
Subject: Re: [PATCH] gendocs: Change maintainer.
Date: Wed, 17 Dec 2014 22:50:34 GMT

    as Karl suggested at

I feel the need to clarify that I did not "suggest" it.  My exact words
were "that would be fine".  In other words, I was willing for it to
happen, since although I find your proposed CSS changes quite wrong, I
didn't (and don't) want to debate it and don't feel it's my place to
stand in the way of perceived progress under those circumstances.

Anyway, I have removed gendocs.sh and gendocs_template* from Texinfo,
removed the sync of those files from gnulib/config/srclist.txt, and will
update maintain.texi soon.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]