Hi!
I'm glad that it works, I will check in the changes, hopefully, later today.
When it comes to the ChangeLog -- I noticed that it hadn't been updated for a while and assumed that it is now automatically populated from the git commit messages -- is this correct, or should I also manually update it?
Also, is there a major mode like "change-log-mode" that would work with git commits, i.e. where text is formatted like a ChangeLog entry but without requiring the text to be indented?