From: Matthias Maier Date: Sat, 15 Feb 2025 04:09:47 +0000 (-0600) Subject: Merge pull request #18133 from tjhei/do-not-use-gold X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9d42f38b55336a9a3ff8ac81d36d1db9639eb612;p=dealii.git Merge pull request #18133 from tjhei/do-not-use-gold do not use gold linker by default --- 9d42f38b55336a9a3ff8ac81d36d1db9639eb612