From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 22 Apr 2022 07:13:19 +0000 (+0200)
Subject: Merge pull request #13624 from cdev911/fixing_typo
X-Git-Tag: v9.4.0-rc1~311
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=626fc22b1abfea3d6b251bd879cced1bcb19aa5c;p=dealii.git

Merge pull request #13624 from cdev911/fixing_typo

fixing typo of the type 'the the'
---

626fc22b1abfea3d6b251bd879cced1bcb19aa5c