Closed JDBetteridge closed 1 month ago
Fix Gusto to work with this Firedrake branch: https://github.com/firedrakeproject/firedrake/pull/3701
This is fine, thanks for double checking this
Fix Gusto to work with this Firedrake branch: https://github.com/firedrakeproject/firedrake/pull/3701