From: Marc Fehling <mafehling.git@gmail.com>
Date: Wed, 28 Aug 2024 04:50:57 +0000 (-0600)
Subject: Merge pull request #17619 from bangerth/mpi-tags
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18e8d32143764eceb319d402c167224780bce27f;p=dealii.git

Merge pull request #17619 from bangerth/mpi-tags

Remove an MPI tag now no longer used.
---

18e8d32143764eceb319d402c167224780bce27f