From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sat, 21 Nov 2020 10:46:44 +0000 (+0100)
Subject: Merge pull request #11223 from peterrum/mf_remove_name
X-Git-Tag: v9.3.0-rc1~876
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=902f4702a9fc4507934753e2e4f9364c6038c4ad;p=dealii.git

Merge pull request #11223 from peterrum/mf_remove_name

Remove a name
---

902f4702a9fc4507934753e2e4f9364c6038c4ad