Subject: bug#4093: Overlay keymap and timers

From: Mihai Bazon <[email-masked]>
Date: Mon, 10 Aug 2009 00:23:47 +0300

Sorry, looks like I accidentally started a new bug, but this is really a
follow up to
http://debbugs.gnu.org/cgi/bugreport.cgi?bug=4081

Should be marked as duplicate, or whatever..

Lennart Borgman <[email-masked]> wrote:
> Yes, this is a really bad thing

But indeed, it is bad...
I'm calling (top-level) for now, but it's not nice.

Cheers,
-Mihai