[petsc-dev] nightlybuilds (next vs next-tmp)

[Satish Balay]

I'm switching the nightlybuild to next-tmp with the following branches for tonight.

$ git fetch -p && comm -12 <(git branch -r --merged origin/next-tmp | sort) <(git branch -r --no-merged origin/master | sort) |grep -v ' origin/next-tmp'
  origin/barry/remove-petscdatatype-dmgetworkarray
  origin/barry/snes-view-display-fd
  origin/jed/fix-matcreatempibaij/maint
  origin/knepley/feature-adaptor-plex

Satish