Subject: Re: bug#19353: 25.0.50; Lazy Highlighting

From: Juri Linkov <[email-masked]>
Date: Tue, 16 Dec 2014 01:45:28 +0200

Now the patch is committed, thank you for the suggestion.