From: Marc Fehling Date: Tue, 4 Feb 2025 16:10:55 +0000 (+0100) Subject: Merge pull request #18082 from bangerth/cycle X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b9ff8324c84d35896fe9a3cf2591a78d54427c47;p=dealii.git Merge pull request #18082 from bangerth/cycle Do not include unnecessary header file. --- b9ff8324c84d35896fe9a3cf2591a78d54427c47