From: Timo Heister Date: Tue, 2 Jul 2024 11:20:37 +0000 (+0100) Subject: Merge pull request #17193 from bangerth/fix-spelling X-Git-Tag: v9.6.0-rc1~147 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=991d3393c7da1f7f4991d1476f89436574bbebcf;p=dealii.git Merge pull request #17193 from bangerth/fix-spelling Fix the spelling of a class. --- 991d3393c7da1f7f4991d1476f89436574bbebcf