From: Marc Fehling Date: Tue, 4 Feb 2025 20:48:41 +0000 (+0100) Subject: Merge pull request #18085 from bangerth/cycle-4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64d93c67a2e50968ccad962a69d2b3cc434b5d2f;p=dealii.git Merge pull request #18085 from bangerth/cycle-4 Remove the last header cycle. --- 64d93c67a2e50968ccad962a69d2b3cc434b5d2f