From: Matthias Maier Date: Thu, 12 Jun 2025 04:01:58 +0000 (+0000) Subject: Merge pull request #18556 from tjhei/no-discard-mpi-functions X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f4a2730b674da4d9704a21dd74ec4c4adb86b93b;p=dealii.git Merge pull request #18556 from tjhei/no-discard-mpi-functions add [[nodiscard]] to MPI helper functions --- f4a2730b674da4d9704a21dd74ec4c4adb86b93b