From: Matthias Maier Date: Wed, 28 Jun 2023 16:13:07 +0000 (+0000) Subject: Merge pull request #15508 from tamiko/update_version_dependencies X-Git-Tag: relicensing~860 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4fe9b6d46dc9d83876be5344f942595d0833eb5d;p=dealii.git Merge pull request #15508 from tamiko/update_version_dependencies Post release branch: require the current version of deal.II --- 4fe9b6d46dc9d83876be5344f942595d0833eb5d