[petsc-dev] petsc patch number

Barry Smith bsmith at mcs.anl.gov
Thu Apr 13 12:50:16 CDT 2017

> On Apr 13, 2017, at 12:31 PM, Kong, Fande <fande.kong at inl.gov> wrote:
> 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. 

   One uses the git commit (or git log).

> Fande,

More information about the petsc-dev mailing list