From: Timo Heister Date: Fri, 16 Aug 2024 13:45:50 +0000 (-0400) Subject: Merge pull request #17503 from PapaKwansa/remove_void_cast_mpi X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=88db34af93d24710724e25e28b4183c25923e9de;p=dealii.git Merge pull request #17503 from PapaKwansa/remove_void_cast_mpi Remove void cast mpi --- 88db34af93d24710724e25e28b4183c25923e9de