From: David Wells Date: Thu, 19 Jun 2025 01:49:23 +0000 (-0400) Subject: Merge pull request #18567 from bangerth/doc-mpi X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28af86fa5827c9d47d30d3c2357357daf1b99173;p=dealii.git Merge pull request #18567 from bangerth/doc-mpi Improve documentation of Utilities::MPI::Future. --- 28af86fa5827c9d47d30d3c2357357daf1b99173