[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,
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20170413/e1dd53a6/attachment.html>