Re: [help-texinfo] GNU info reader: why display for links has been changed?

[Eli Zaretskii]

> From: Aleksey Midenkov <address@hidden>
> Date: Tue, 30 Jul 2019 22:31:27 +0300
> Cc: Eli Zaretskii <address@hidden>, address@hidden
> 
>  I don't know what Hamm is, but that would help.
> 
> https://www.electrictoolbox.com/debian-release-names/ 
> 
> Of course you both don't know about this lost feature. How could you?

You think we are too young to know, is that right?  Think again ;-)

Anyway, I've just built the Info reader from Texinfo 3.12, which was
released in 1998, the same year as Hamm, and I see no numbers near
menu items.  Maybe Debian had their own version of the reader, or some
local changes they never submitted upstream, I have no idea.