From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 15 May 2020 14:29:38 +0000 (-0500)
Subject: Merge pull request #10227 from kronbichler/warning_step-70
X-Git-Tag: v9.3.0-rc1~1627
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be2d1c0b6d6cce159a68f034eec34c4d9ec5c2bd;p=dealii.git

Merge pull request #10227 from kronbichler/warning_step-70

Fix warning in step-70
---

be2d1c0b6d6cce159a68f034eec34c4d9ec5c2bd