[petsc-dev] more next-tmp

[Satish Balay]

On Fri, 8 Dec 2017, Satish Balay wrote:

> $ 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/balay/knl-test-use-memkind-and-intel-18
>   origin/hzhang/fix-Matdup_ptap/maint
>   origin/knepley/feature-adaptor-plex
>   origin/knepley/fix-l2-projection-submesh
>   origin/knepley/fix-plex-proj-ds

The above branches are now merged to master now.

Satish