[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] vs "Bug#DDDDD" in logs

From: Jim Meyering
Subject: vs "Bug#DDDDD" in logs
Date: Tue, 15 Nov 2011 22:48:38 +0100

I've noticed a few references in recent commit logs like this:

  See additional discussion in Bug#9939.

My preference has been to use the slightly more verbose, on the principle that that will
be more accessible to most people.  I.e., you can probably
just click on it, or mouse-then-click.  While for the "Bug#...."
form, one would have to know the URL prefix.

Preferences to the contrary?

reply via email to

[Prev in Thread] Current Thread [Next in Thread]