From: Martin Kronbichler Date: Thu, 6 May 2021 17:38:49 +0000 (+0200) Subject: Merge pull request #12153 from jppelteret/step-71-fixes_01 X-Git-Tag: v9.3.0-rc1~121 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13ce9cd73ee78645d6feece76eea5eb291749c55;p=dealii.git Merge pull request #12153 from jppelteret/step-71-fixes_01 Fix some typos in doc for step-71 --- 13ce9cd73ee78645d6feece76eea5eb291749c55