From: Wolfgang Bangerth Date: Sat, 6 Jan 2024 16:04:23 +0000 (-0700) Subject: Merge pull request #16419 from peterrum/indent X-Git-Tag: relicensing~200 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc5851fd0c9f095e83284865dd1f8e26c45493ac;p=dealii.git Merge pull request #16419 from peterrum/indent Indent: format also change-log entries --- cc5851fd0c9f095e83284865dd1f8e26c45493ac