update VERSION for release

dealii · Jun 24, 2022 · 88c91f2 · 88c91f2
1 parent 40f3ab2
commit 88c91f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-9.4.0-rc2
+9.4.0