From: Martin Kronbichler <martin.kronbichler@uni-a.de>
Date: Fri, 12 Jan 2024 13:33:11 +0000 (+0100)
Subject: Merge pull request #16431 from bangerth/collective
X-Git-Tag: relicensing~168
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cdd34652eb5e5214affee9fd358581cb4f7cfdc8;p=dealii.git

Merge pull request #16431 from bangerth/collective

Document what a collective operation actually is.
---

cdd34652eb5e5214affee9fd358581cb4f7cfdc8