commit to gnulib.texi

[Bruno Haible]

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