From: Timo Heister Date: Tue, 27 May 2025 12:49:20 +0000 (-0400) Subject: Merge pull request #18509 from kronbichler/fix_mumps_not_available X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c6ef0014ddda7e2cb903219d0eba305dc43ffc88;p=dealii.git Merge pull request #18509 from kronbichler/fix_mumps_not_available Fix argument list to dummy MUMPS constructor --- c6ef0014ddda7e2cb903219d0eba305dc43ffc88