From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Thu, 7 Nov 2019 16:41:41 +0000 (-0700)
Subject: Merge pull request #9016 from Rombur/step_54
X-Git-Tag: v9.2.0-rc1~897
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00f71b506c770e9387da4873269d867168317790;p=dealii.git

Merge pull request #9016 from Rombur/step_54

Add missing namespace
---

00f71b506c770e9387da4873269d867168317790