Closed tommbendall closed 9 months ago
This fixes the two tests broken on main (presumably from recent Firedrake updates):
This fixes the two tests broken on main (presumably from recent Firedrake updates):