From: Matthias Maier 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=53a7623c7ce9dda2e2eb1d7952af2fe4c417d425;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