29 Jul
2016
29 Jul
'16
12:04 p.m.
On 29 Jul 2016, at 08:54, Lawrence Mitchell <lawrence.mitchell@imperial.ac.uk> wrote:
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.
Now merged. Lawrence