From: Wolfgang Bangerth Date: Mon, 30 Jun 2025 17:07:48 +0000 (-0600) Subject: Merge pull request #18600 from drwells/step-17-without-metis X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c2d2a6c5d6863b78610a3273d8fb34a17001d159;p=dealii.git Merge pull request #18600 from drwells/step-17-without-metis Make step-17 work without METIS. --- c2d2a6c5d6863b78610a3273d8fb34a17001d159