From: Matthias Maier Date: Mon, 6 Feb 2023 21:09:44 +0000 (-0600) Subject: update VERSION for release X-Git-Tag: v9.4.2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5197b49b6c2adcac1f40db61bc81ebca2832d490;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