19 Jun
2020
19 Jun
'20
9:43 a.m.
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