Subject: bug#17588: 24.3.91; mouse-face glitchy

From: Christopher Schmidt <[email-masked]>
Date: Thu, 29 May 2014 12:14:52 -0400 (EDT)

Eli Zaretskii <[email-masked]> writes:
> And this seems to be our villain.  Does the patch below help?

Yes, it fixes the problem.

Thank you very much for your work, Eli.