[petsc-dev] Open PRs to be merged for release 3.7

[Satish Balay]

On Sun, 24 Apr 2016, Lisandro Dalcin wrote:

> Satish, I have two open PRs ready to be merged into master (already
> merged into next). As you are in charge of making the release, I did
> not want to step on you, so I'll not make the merge into master until
> you acknowledge. Or just merge them yourself through the Bitbucket
> interface.

Lisandro,

Looks like I won't be able to merge then for 3.7.

If the API reviewers [Jed, Barry] says that API isn't changing - then
I'll schedule them for 3.7.1. [If not - they can be 'master' features]

Satish