From: Wolfgang Bangerth <bangerth@colostate.edu>
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