Subject: Re: bug#12885: More info

From: Romain Francoise <[email-masked]>
Date: Fri, 28 Dec 2012 16:16:19 +0100

Lars Ingebrigtsen <[email-masked]> writes:

> Do you have any other customisations in effect that may influence Gnus
> highlighting?

I don't think so, but my configuration is huge and has accumulated some
cruft over the last 12 years or so. So who knows...