19 Jun
2020
19 Jun
'20
10:11 a.m.
Great, thanks! You're so fast! Le ven. 19 juin 2020 à 11:43, Lawrence Mitchell <wence@gmx.li> a écrit :
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