From: Peter Munch Date: Thu, 23 Dec 2021 07:57:00 +0000 (+0100) Subject: Merge pull request #13080 from bangerth/doc-66 X-Git-Tag: v9.4.0-rc1~719 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=701a870a37eda768d2d7bd75ff2d00e476d9375d;p=dealii.git Merge pull request #13080 from bangerth/doc-66 Minor doc changes to the consensus algorithms --- 701a870a37eda768d2d7bd75ff2d00e476d9375d