[petsc-dev] more next-tmp

[Satish Balay]

On Sun, 10 Dec 2017, Satish Balay wrote:

> And switched back [from next-tmp] to next.

Actually next-tmp is still in use. Tonights builds are with:

$ 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/knepley/feature-subdm-test
  origin/knepley/fix-plex-multifield-eval

Satish