> On 19 Jun 2020, at 08:36, Karin&NiKo <niko.karin@gmail.com> wrote:
>
> Thank you very much for the quick fix Lawrence.
> What is Firedrake's policy with respect to PETSc versioning ? To make it clear, when will your fix be available through "firedrake-update" ?

We update relatively regularly, I expect that it will be available through firedrake-update some time next week (after the petsc side of things merges). I will update here when that happens.

Lawrence