From: Wolfgang Bangerth Date: Thu, 19 Oct 2023 23:24:35 +0000 (-0600) Subject: Merge pull request #16162 from peterrum/log_rename X-Git-Tag: relicensing~378 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bb65670bd64e066451300bbc5fcb0ef67fb76b06;p=dealii.git Merge pull request #16162 from peterrum/log_rename Rename a change-log entry --- bb65670bd64e066451300bbc5fcb0ef67fb76b06