From: Marc Fehling Date: Mon, 12 Aug 2024 21:37:14 +0000 (-0600) Subject: Merge pull request #17476 from tjhei/move-changelog-entry X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=be8a8367c58168d0f6290ffdb80bb8bbd6a68be5;p=dealii.git Merge pull request #17476 from tjhei/move-changelog-entry put a changelog entry into the right place --- be8a8367c58168d0f6290ffdb80bb8bbd6a68be5