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