Re: [petsc-dev] changelog

[Satish Balay]

On Mon, 25 Apr 2016, Lisandro Dalcin wrote:

> "git diff maint..master" was showing
> some flops logging commits from Jed that are not yet in maint, and
> that IMHO should go to release.

merged to maint

thanks,
Satish