Closed JDBetteridge closed 8 months ago
I think this was just an error when I wrote the code initially.
Already tested against Firedrake: https://github.com/firedrakeproject/firedrake/pull/3388
I would merge but the PR title is confusing.
I think this was just an error when I wrote the code initially.
Already tested against Firedrake: https://github.com/firedrakeproject/firedrake/pull/3388