bug#20325: convert "fixes:debbugs:123" in log to (Bug#123) in ChangeLog

[Paul Eggert]

On 04/24/2015 11:35 AM, Glenn Morris wrote:
> I don't even know what colour it is now. :( 

You could file a bug report about this, and mark it as "Bug#23196". :-)

For what it's worth, on the master branch since I changed CONTRIBUTE to 
suggest "Bug#NNNNN" on April 18, there have been

 7 commit messages saying "Bug#NNNNN" (all were parenthesized)
 4 commit messages saying "bug#NNNNN" (3 were parenthesized)
 3 commit messages saying "Fixes: debbugs:NNNNN" (all were on a 
separate line)

The unparenthesized "bug#NNNNN" was a separate line "Fixes bug#20266.".

It's early days, but it appears that "(Bug#NNNNN)" is the most popular 
color.