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
