On Thu 14 Aug 2014 09:32:31 Gary Benson wrote:
> What are people's preferences here?  My preference is #1, but I could
> live with #3.  If we come to some kind of concensus on this I'll
> update the wiki to reflect this.

(4) -- none of the above.  the ChangeLog files contain the same data, so the 
commit messages should contain useful details.  i.e. the same content you used 
when you posted to the mailing list.
-mike