From: Daniel Arndt Date: Mon, 17 Feb 2025 17:49:58 +0000 (-0500) Subject: Merge pull request #18141 from bangerth/exclude X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d5de02e15032dee8bbbe4974aa83efd941879d13;p=dealii.git Merge pull request #18141 from bangerth/exclude --- d5de02e15032dee8bbbe4974aa83efd941879d13