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

From: martin rudalics <[email-masked]>
Date: Tue, 27 May 2014 15:09:30 +0200

> I see no problems with this recipe on my system.  Maybe my machine is
> faster than yours.

It doesn't happen on my Windows builds and I have no clue why.  But I can
reproduce it with my Debian build.

martin