From: Martin Kronbichler Date: Wed, 25 Sep 2019 07:22:41 +0000 (+0200) Subject: Merge pull request #8783 from peterrum/parallel-computeverticeswithghostneighbors X-Git-Tag: v9.2.0-rc1~1028 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ddd67d398041e31a7baea14e6b5e942a23eba54;p=dealii.git Merge pull request #8783 from peterrum/parallel-computeverticeswithghostneighbors Clean up compute_vertices_with_ghost_neighbors --- 3ddd67d398041e31a7baea14e6b5e942a23eba54