[petsc-dev] git 'maint' users - reset branch

[Satish Balay]

PETSc git repo users (and developers),

We had a bad 'push' to maint branch - that is reverted and fixed now.

However if you did a pull of this branch [say between 12:50pm and
1:05pm CST] - and received the commit 'e625f44' in your maint branch -
please delete and recreate your maint branch. i.e

<in maint branch>
git fetch
git reset --hard origin/maint

Satish