Re: How often is the git repository is updated?

Joel Brobecker
2012-08-14T23:52:31Z

> Thanks, checked in. I could not find a ChangeLog file to edit, so I
> just committed the html.

Yes, that's good enough. I propagated the change to gnu.org as well.

Thanks, Sergio.
--
Joel