29 Jul
2016
29 Jul
'16
8:54 a.m.
On 28 Jul 2016, at 21:24, Justin Chang <jychang48@gmail.com> wrote:
Alright thanks!
This was actually not too bad. I've added this test to make sure we don't regress again, and fixed the problem in https://github.com/firedrakeproject/firedrake/pull/844 Can you let me know if everything works again for you. Lawrence