From: Martin Kronbichler Date: Sun, 26 Apr 2020 05:38:16 +0000 (+0200) Subject: Merge pull request #9944 from peterrum/compute_vertices_with_ghost_neighbors_follow_up X-Git-Tag: v9.2.0-rc1~180 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9deb9505d82841733818de0910c23971051c6ad2;p=dealii.git Merge pull request #9944 from peterrum/compute_vertices_with_ghost_neighbors_follow_up Create GridTools::compute_vertices_with_ghost_neighbors() --- 9deb9505d82841733818de0910c23971051c6ad2