On 01/21/2017 07:34 AM, Enrico Forestieri wrote: > 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...
Sorry, that's not what I meant. I did say you should commit when you and JMarc had made a decision, so you had the nod. I had forgotten that it was a stable-only issue so thought you'd committed to master. Thanks for fixing this. I've been working on my logic notes for this semester, and there are a lot of \neq, which was very annoying. Richard