From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 17 Apr 2019 12:50:16 +0000 (-0400)
Subject: Merge pull request #7915 from luca-heltai/rtree-with-mapped-vertices
X-Git-Tag: v9.1.0-rc1~199
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=647f79dd89f52c3ee9ec4ddf9e5c162d2d275f70;p=dealii.git

Merge pull request #7915 from luca-heltai/rtree-with-mapped-vertices

Make sure rtree works with mappings that do not preserve vertices.
---

647f79dd89f52c3ee9ec4ddf9e5c162d2d275f70