[petsc-users] next release

[Dominik Szczerba]

Hi,

Is it at least approximately known when the petsc-dev will be out as
the next official release?

Thanks
Dominik