Re: [CONFIRMED] Display Problem in Stable with \notin, etc.

[Enrico Forestieri]

On Fri, Jan 20, 2017 at 06:49:29PM -0500, Richard Heck wrote:

> On 01/20/2017 06:48 PM, Richard Heck wrote:
> > I'll cherry pick it for stable. 
> 
> No, I won't....

Sorry, I would have to wait for an explicit nod...

-- 
Enrico