Drop to_petsc_local_numbering#4918

connorjward merged 2 commits intomainfiredrakeproject/firedrake:mainfrom

3655_drop-to-petsc-local-numberingfiredrakeproject/firedrake:3655_drop-to-petsc-local-numberingCopy head branch name to clipboard