[petsc-dev] PETSc release

[Karl Rupp]

Hi,

 >    We should be planning to do a PETSc release around June 1.

I second that.

Do we want to have GPU-functionality as part of the release, or keep 
users pointing to the repository as we do now? I'd like to complete some 
significant updates on the GPU front in time for the PETSc-20 workshop, 
so such information would help me with planning...

Best regards,
Karli