From: Martin Kronbichler Date: Wed, 21 Jun 2023 13:03:37 +0000 (+0200) Subject: Merge pull request #15409 from bangerth/typo X-Git-Tag: v9.5.0-rc1~68 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ddaffccb89c1c7b689c9396b0bf9a79576c5080;p=dealii.git Merge pull request #15409 from bangerth/typo Fix a typo in the name of a function in the documentation. --- 8ddaffccb89c1c7b689c9396b0bf9a79576c5080