From: Marc Fehling 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