Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.2.0
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.