From: Marc Fehling Date: Wed, 22 Jan 2025 21:54:14 +0000 (+0100) Subject: Merge pull request #18020 from bangerth/misspellings X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9f7f241c9fa9b0738201ef47dcc07b86e1469f04;p=dealii.git Merge pull request #18020 from bangerth/misspellings Fix misspellings. --- 9f7f241c9fa9b0738201ef47dcc07b86e1469f04