From: Martin Kronbichler Date: Tue, 27 May 2025 06:43:38 +0000 (+0200) Subject: Merge pull request #18503 from bangerth/mumps X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ccf8a11250358b187adddc59f036299e011d70b;p=dealii.git Merge pull request #18503 from bangerth/mumps Provide dummy implementations of SparseDirectMUMPS when not configuring with MUMPS. --- 1ccf8a11250358b187adddc59f036299e011d70b