Subject: Re: bug#11567: 24.0.97; WTF? ROFL! (hilarious bug)

From: martin rudalics <[email-masked]>
Date: Tue, 29 May 2012 11:42:24 +0200

> I suppose Stefan earlier hinted at something like this patch, which
 > together with your earlier simplification sort of fixes the problem.

I see.  Even if doesn't fix each and every problem in this area, we
should install it (or something similar).

martin