Fix Real + interior facet for PCPatch#5142

connorjward wants to merge 3 commits into

releasefiredrakeproject/firedrake:releasefrom

connorjward/fix-real-patch-facetfiredrakeproject/firedrake:connorjward/fix-real-patch-facetCopy head branch name to clipboard