From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 6 Jul 2023 19:58:44 +0000 (+0000)
Subject: Merge pull request #15669 from tamiko/pr_15549
X-Git-Tag: v9.5.0~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=702aca0d5c4c2f60d2abcf1b6d698c92a5fb69f5;p=dealii.git

Merge pull request #15669 from tamiko/pr_15549

[9.5] Use -Werror again in enable_if_supported
---

702aca0d5c4c2f60d2abcf1b6d698c92a5fb69f5