From: Bruno Turcksin Date: Tue, 11 Mar 2025 15:03:39 +0000 (-0500) Subject: Merge pull request #18215 from bangerth/mpi X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a2e8049f3cdf8809991cbb91716c1b4d9d0dc35;p=dealii.git Merge pull request #18215 from bangerth/mpi Do not include from config.h. --- 9a2e8049f3cdf8809991cbb91716c1b4d9d0dc35