|
From: | Jan D. |
Subject: | bug#20325: convert "fixes:debbugs:123" in log to (Bug#123) in ChangeLog |
Date: | Fri, 17 Apr 2015 18:20:18 +0200 |
> 17 apr 2015 kl. 17:32 skrev Dmitry Gutov <dgutov@yandex.ru>: > > On 04/17/2015 06:19 PM, Paul Eggert wrote: > >> and CONTRIBUTE should recommend "Fixes: debbugs:1234' >> instead of its current recommendation 'Fixes: bug#1234'. > > I think so, yes. > What about a few years from now when we switch to something other than debbugs? Why hardcode a specific bug reporting tool as the recommendation? That does not make sense to me. Jan D.
[Prev in Thread] | Current Thread | [Next in Thread] |