Subject: bug#39042: 26.3; Undocumented keys for Info mode

From: Stefan Kangas <[email-masked]>
Date: Sat, 02 May 2020 22:43:40 +0200

close 39042 28.1
thanks

Eli Zaretskii <[email-masked]> writes:

> I'd use "Go to", not "Jump to".
[...]
> This only gains one menu item, at the price of hiding 2 items from the
> user ("Misc" doesn't really say what's under it).  I'd leave these 2
> alone.

Thanks, I fixed your comments and pushed this to master as commit
11fd01c994.  Closing this bug.

Best regards,
Stefan Kangas