From: Matthias Maier Date: Mon, 14 Oct 2024 01:39:06 +0000 (+0000) Subject: Merge pull request #17774 from bangerth/changelog X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d7a2c90e4ebbd98f5ca2bf3890ccd75e8497c617;p=dealii.git Merge pull request #17774 from bangerth/changelog Add a forgotten changelog. --- d7a2c90e4ebbd98f5ca2bf3890ccd75e8497c617