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

[Michael Albinus]

Paul Eggert <eggert@cs.ucla.edu> writes:

> Dmitry Gutov wrote:
>> We've used the debbugs:1234 format in commit messages for a while now.
>
> We've used several formats.  "Fixes: debbugs:NNNN" is designed for Bzr
> I think, "(Bug#NNNN)" is the more-traditional form, and CONTRIBUTE
> currently recommends a third format "Fixes: bug#NNNN".

My major concern are ChangeLogs and other files, containing bug
references. Here we shall keep the established format (Bug#NNN), even in
generated files. That's what this bug report is about.

For consistency reasons, it might be preferred to use it also in commit
messages. 

Best regards, Michael.