> From: Michael Albinus <[email protected]> > Cc: [email protected], [email protected], [email protected], > [email protected] > Date: Tue, 06 Mar 2018 09:23:29 +0100 > > "@code{esc-map} is for characters that follow @key{ESC}."
This should actually say "for keys you type following @key{ESC}",
because that's clearly the intent, given the fact it talks about a
keymap.
