Closed connorjward closed 2 years ago
This line overlapped between https://github.com/firedrakeproject/tsfc/pull/273 and https://github.com/firedrakeproject/tsfc/pull/268 so it got overwritten.
This line overlapped between https://github.com/firedrakeproject/tsfc/pull/273 and https://github.com/firedrakeproject/tsfc/pull/268 so it got overwritten.