Subject: Re: bug#70938: 30.0.50; Edebug appropriates overriding-terminal-local-map

From: Michael Heerdegen <[email-masked]>
Date: Mon, 27 May 2024 16:37:32 +0200

Stephen Berman <[email-masked]> writes:

> Do you (or does anyone else) have any reason not to install this
> patch?

I wanted to see if anybody has a better idea and test the patch a bit
in that time to be sure it doesn't break anything.

Michael.