From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Tue, 31 Dec 2019 07:18:04 +0000 (+0100)
Subject: Merge pull request #9203 from bangerth/fix-2
X-Git-Tag: v9.2.0-rc1~758
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec83846de751523ad81ec9796bf8fd1da698cb59;p=dealii.git

Merge pull request #9203 from bangerth/fix-2

Simplify the code in a test a bit.
---

ec83846de751523ad81ec9796bf8fd1da698cb59