|
From: | Eli Zaretskii |
Subject: | bug#20620: Mouse highlighting not removed at end of mode-line |
Date: | Fri, 22 May 2015 10:12:31 +0300 |
> From: Stefan Monnier <monnier@IRO.UMontreal.CA> > Cc: 20620-done@debbugs.gnu.org > Date: Thu, 21 May 2015 16:50:41 -0400 > > > Fixed in commit fc071bf. > > You rock! Thanks. I actually find it amazing that this simple bug survived undetected for so long.
[Prev in Thread] | Current Thread | [Next in Thread] |