From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 6 Feb 2023 21:09:44 +0000 (-0600)
Subject: update VERSION for release
X-Git-Tag: v9.4.2^0
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fheads%2Fdealii-9.4;p=dealii.git

update VERSION for release
---

diff --git a/VERSION b/VERSION
index ccfb75e512..3c40359d3d 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-9.4.1
+9.4.2