Thanks, I installed those changes in your name, after reformatting the ChangeLog file and commit message to fit Gnulib style. You can see what that format is like by doing "git pull; git format-patch --stdout -1": the ChangeLog entry's contents duplicate the commit message, except that they're indented a tab and the 2nd (empty) line is omitted.

Reply via email to