On Mon, 25 Apr 2016, Lisandro Dalcin wrote: > Please merge this branch with changelog updates: > > https://bitbucket.org/petsc/petsc/branch/dalcinl/ts-changes
Cherry picked to maint. Thanks, Satish > > I branched it of from master. "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. > >
