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
