[petsc-dev] more next-tmp

[Satish Balay]

On Mon, 11 Dec 2017, Satish Balay wrote:

> 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

Merged to master.

Satish