update VERSION

dealii · Jun 30, 2021 · 7f0732c · 7f0732c
1 parent 523ee01
commit 7f0732c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-9.3.0
+9.3.1