Open jorgensd opened 11 months ago
Follow progress of: https://gitlab.com/petsc/petsc/-/issues/1367 as 3.20 broke mypy
Follow progress of: https://gitlab.com/petsc/petsc/-/issues/1367 as 3.20 broke mypy