Closed pbrubeck closed 1 year ago
@mscroggs The change from this PR got removed from the main branch
@mscroggs The change from this PR got removed from the main branch
I guess I messed up a merge somewhere. I've opened https://github.com/FEniCS/ufl/pull/226 to readd this
I believe that I had made a PR for this already, but it's not merged and I cannot find it anywhere