On Tue, May 10, 2005 at 08:05:39PM +0200, Michael Schmitt wrote:

> Well, the question is whether "Refs" makes any sense to the user. What 
> would you expect "Refs" to do? Probably not to jump to the associated 
> label (note: label, not labels).
> 
> Anyway, I let you take the final decision...

It makes no sense as is, but at the same time people are used to it.
Users are going to get a big shock at 1.4.0  (whenever that may be) for
a large number of reasons, I don't see a good reason to introduce such
changes in 1.3.x right now.

regards
john

Reply via email to