Re: [PATCH] Add new @ shortcut for HEAD

Felipe Contreras [off-list ref] writes:

It shouldn't matter if @{u} is buggy or not (which I doubt),

Oh, it wouldn't make any difference to this topic; it is just
something we may want to fix if it were broken.