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

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