[petsc-dev] petsc patch number

Kong, Fande fande.kong at inl.gov
Thu Apr 13 12:31:48 CDT 2017

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/petsc-dev/attachments/20170413/e1dd53a6/attachment.html>

More information about the petsc-dev mailing list