-
Benno Schulenberg authored
Just like an <Esc> before a Ctrl+letter keystroke is ignored, an <Esc> before an Alt+letter keystroke should be ignored too -- it should not be interpreted as if the user had typed <Esc> <Esc> letter. This fixes https://savannah.gnu.org/bugs/?54301.
ecc9211a