Subject: bug#20620: Mouse highlighting not removed at end of mode-line

From: Eli Zaretskii <[email-masked]>
Date: Fri, 22 May 2015 10:12:31 +0300

> From: Stefan Monnier <[email-masked]>
> Cc: [email-masked]
> 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.