From: Matthias Maier Date: Tue, 27 Jun 2023 16:39:22 +0000 (+0000) Subject: Merge pull request #15503 from tamiko/update-changes-file X-Git-Tag: v9.5.0-rc1~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8d68b3192ed1c8b928dfce03ca1d615201859904;p=dealii.git Merge pull request #15503 from tamiko/update-changes-file Update the changelog file for the release. --- 8d68b3192ed1c8b928dfce03ca1d615201859904