Fix BDDCPC/FDMPC pyop3#5249

pbrubeck wants to merge 1 commit into

connorjward/pyop3firedrakeproject/firedrake:connorjward/pyop3from

pbrubeck/pyop3/preconditionersfiredrakeproject/firedrake:pbrubeck/pyop3/preconditionersCopy head branch name to clipboard