> On 19 Feb 2017, at 18:55, Justin Chang <jychan...@gmail.com> wrote: > > Okay, it doesn't seem like the Firedrake fork (which is what I am using) has > this latest fix. Lawrence, when do you think it's possible you folks can > incorporate these fixes
I'll fast forward our branch pointer on Monday. Lawrence
