Re: [firedrake] PyOP2 pull request #465