Subject: Re: bug#2701: 23.0.91; flashing/slow highlighting

From: Dan Nicolaescu <[email-masked]>
Date: Tue, 17 Mar 2009 13:51:36 -0700 (PDT)

David Abrahams <[email-masked]> writes:

  > on Tue Mar 17 2009, Dan Nicolaescu <dann-AT-ics.uci.edu> wrote:
  > 
  > > Works fine for me on GNU/Linux.
  > 
  > Me too, of course.  I was reporting a platform-specific problem.

Which is exactly the point of my message, to allow this to be classified
as a platform-specific problem :-)