[petsc-dev] Next major release is 4.0 or 3.10?

[Kong, Fande]

I want to know this info, and I can put some safeguard in the code.

Thanks,

Fande,