From: Marc Fehling Date: Tue, 4 Feb 2025 21:19:27 +0000 (+0100) Subject: Merge pull request #18083 from bangerth/cycle-2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b19f21d343fc1ccdf1980e893cbb6344cc982cc1;p=dealii.git Merge pull request #18083 from bangerth/cycle-2 Remove a cycle in header files. --- b19f21d343fc1ccdf1980e893cbb6344cc982cc1