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

[Eli Zaretskii <eliz@gnu.org>]

> Date: Sat, 18 Apr 2015 19:59:02 -0700
> From: Paul Eggert <eggert@cs.ucla.edu>
> CC: michael.albinus@gmx.de, 20325@debbugs.gnu.org
> 
> Eli Zaretskii wrote:
> > For some value of "we".  CONTRIBUTE still requires to use
> > "Fixes: bug#NNNN", and that's what I've switched to once those
> > requirements were written.  Which was already a change from the
> > previous procedure, which preferred simply "Bug#NNNN".
> >
> > I wish you guys settle on something once and for all, never mind what,
> 
> "you guys"?  I thought you were one of us!  :-)

Not in this bikeshedding, sorry.

> I did not choose the "Fixes: bug#NNNN" syntax.  I vaguely recall it came from an 
> offhand remark in one of Stefan's emails a few months ago and that it migrated 
> into CONTRIBUTE when Stephen Leake attempted to summarize that discussion, but 
> possibly it was a typo in Stefan's message and anyway I expect he doesn't much 
> care what the format is.
> 
>  From the earlier discussion in this thread it appears that the "Fixes: 
> debbugs:NNNN" syntax is an artifact of the Bzr-to-Git conversion that now causes 
> more confusion than it's worth.  To try to lessen this I installed the attached 
> patches (the third one is mechanical; it's the result of 'make change-history').

Thanks.  Let's hope this one holds one a bit longer than its
predecessors.