> On 19 Feb 2017, at 18:55, Justin Chang <jychang48 at 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