> On 19 Jun 2020, at 11:11, Karin&NiKo <niko.karin@gmail.com> wrote:
>
> Great, thanks! You're so fast!

This took a little longer than I advertised, but the change is now merged in PETSc and the Firedrake tracking branch is updated, so if you firedrake-update this code should now work.

Lawrence