From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 16 Jun 2022 17:09:20 +0000 (-0500)
Subject: Merge pull request #13994 from tamiko/update_version
X-Git-Tag: v9.5.0-rc1~1202
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c7115f923a7ffa6557b1ab17e9c966db5a744855;p=dealii.git

Merge pull request #13994 from tamiko/update_version

update VERSION
---

c7115f923a7ffa6557b1ab17e9c966db5a744855