From: Marc Fehling Date: Mon, 10 Feb 2025 10:12:43 +0000 (+0100) Subject: Merge pull request #18108 from bangerth/proper X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eab713f96434c22998c738ce58bf9b2c56ce8152;p=dealii.git Merge pull request #18108 from bangerth/proper Use proper types (rather than #defines) in mpi_stub.h. --- eab713f96434c22998c738ce58bf9b2c56ce8152