From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Wed, 17 Apr 2019 12:55:41 +0000 (-0400)
Subject: Merge pull request #7914 from luca-heltai/enlarge-bounding-box
X-Git-Tag: v9.1.0-rc1~198
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3205b61f9260e0b8cb94b78a1a1b7fca7c19b7ef;p=dealii.git

Merge pull request #7914 from luca-heltai/enlarge-bounding-box

BoundingBox::extend()
---

3205b61f9260e0b8cb94b78a1a1b7fca7c19b7ef