From: Timo Heister Date: Sat, 17 Aug 2024 23:18:00 +0000 (-0400) Subject: Merge pull request #17551 from drwells/use-get-mpi-communicator X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4ae73cf065ba7aefba092a2d378fc229c6da87a4;p=dealii.git Merge pull request #17551 from drwells/use-get-mpi-communicator Deprecate get_communicator() in favor of get_mpi_communicator(). --- 4ae73cf065ba7aefba092a2d378fc229c6da87a4