From: Peter Munch Date: Wed, 14 Oct 2020 10:27:53 +0000 (+0200) Subject: Merge pull request #11043 from dangars/typo_parallel_documentation X-Git-Tag: v9.3.0-rc1~1008 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4cf8f26cbf26f12e630aff124cd112fb3f24180e;p=dealii.git Merge pull request #11043 from dangars/typo_parallel_documentation Fix typo --- 4cf8f26cbf26f12e630aff124cd112fb3f24180e