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

From: Michael Heerdegen <[email-masked]>
Date: Sat, 01 Mar 2025 16:05:32 +0100

Stefan Kangas <[email-masked]> writes:

> Was this installed?  If not, should it be?

If nobody invents something better, I think it is a lot better than what
we currently have, although it is far from perfect.

Michael.