From: Matthias Maier <tamiko@43-1.org>
Date: Sun, 12 May 2019 15:43:55 +0000 (-0500)
Subject: Merge pull request #8102 from tamiko/modernize_step_6
X-Git-Tag: v9.1.0-rc1~48
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0e21e9579d71d8505194f41d2fb8dd876be1591c;p=dealii.git

Merge pull request #8102 from tamiko/modernize_step_6

modernize step 6
---

0e21e9579d71d8505194f41d2fb8dd876be1591c