From: Marc Fehling Date: Wed, 5 Feb 2025 13:31:43 +0000 (+0100) Subject: Merge pull request #18086 from bangerth/cycles X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a495e8ea214d640e410f01144d2902318f75f38;p=dealii.git Merge pull request #18086 from bangerth/cycles Detect header cycles regardless of how we spell the #include. --- 6a495e8ea214d640e410f01144d2902318f75f38