[petsc-dev] petsc patch number

[Kong, Fande]

Hi Developers,

Do we increase the patch number when pushing a new patch into maint? If
not, how to know if the current maint is different from the one I just got
yesterday. I know a commit number is always available.

Fande,