From: Marc Fehling 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