From: Bruno Turcksin Date: Wed, 12 May 2021 01:15:49 +0000 (-0400) Subject: Merge pull request #12183 from jppelteret/step-71-fixes_03 X-Git-Tag: v9.3.0-rc1~90 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=191d06ed0037a7c4af51f43ed00c6f146eef19c2;p=dealii.git Merge pull request #12183 from jppelteret/step-71-fixes_03 Fix more typos in intro to step-71 --- 191d06ed0037a7c4af51f43ed00c6f146eef19c2