From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Sat, 21 Mar 2020 06:31:05 +0000 (+0100)
Subject: Merge pull request #9698 from bangerth/69
X-Git-Tag: v9.2.0-rc1~392
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dc27bc992f2344b1c2462915a2c3b40ebf61d3c1;p=dealii.git

Merge pull request #9698 from bangerth/69

Fix a typo.
---

dc27bc992f2344b1c2462915a2c3b40ebf61d3c1