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

[Eli Zaretskii]

> 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.