From: Marc Fehling <mafehling.git@gmail.com>
Date: Sun, 14 Aug 2022 18:40:35 +0000 (+0200)
Subject: Merge pull request #14187 from marcfehling/cleanup-hpref
X-Git-Tag: v9.5.0-rc1~1045
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c415589cf0a606bd4fdaaec04304be191c74da5a;p=dealii.git

Merge pull request #14187 from marcfehling/cleanup-hpref

Remove now redundant namespace identifier.
---

c415589cf0a606bd4fdaaec04304be191c74da5a