On Sun, Nov 23, 2014 at 06:13:59PM +0100, Ludovic Courtès wrote: > Thanks for working on it! In the future please use the same format as > commit 1d18d87f to refer to the bug that is fixed; having a uniform way > for that makes it easier to search for bug fixes, notably when preparing > NEWS.
Okay! I must admit I saw it, but what I do not like about it is that when you are on a bug with your web browser, you cannot just copy and paste its address. For instance, the http://bugs.gnu.org/19119 of the bug report is redirected to http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19119 I find it weird to need to type a URL by hand and potentially introduce errors. Andreas
