Re: [firedrake] PETSc and PyOP2 update (on MacOS)