Re: commit to gnulib.texi

[Jim Meyering]

Bruno Haible <address@hidden> wrote:

> Hi Karl,
>
> You did this commit:
>   
> http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=bf156d57d0488caa843739e039238d56fde4507d
>
> Could you please add a ChangeLog entry and notify the mailing list about
> the change, preferably with attached diffs? That's the common process here
> for peer review, and peer review ensures good quality of the commits.
>
> If you don't believe this, please take a look at the other one of your
> commits yesterday:
>   
> http://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=commitdiff;h=b463b61cfbce5128bbec87be04104535349fdec8
> It contains a grammatical mistake.
>
> Bruno

I didn't see any mistake the first time (reading the commit log
and diff automatically sent upon git-push to address@hidden),
and didn't see any the second time, either.