From: Daniel Arndt Date: Sat, 31 May 2025 12:56:50 +0000 (-0400) Subject: Merge pull request #18528 from bangerth/headers X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=aaf9059864a2fe509add904c4c3e573c70ae5d81;p=dealii.git Merge pull request #18528 from bangerth/headers --- aaf9059864a2fe509add904c4c3e573c70ae5d81