Prepared next patch 4.9.1 and put back prereleases on master

dafny-lang · Oct 31, 2024 · 52b5f9d · 52b5f9d
1 parent 85e9fe8
commit 52b5f9d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml b/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml
@@ -1,6 +1,6 @@
 [project]
 name = "DafnyRuntimePython"
-version = "4.8.1"
+version = "4.9.1"
 authors = [
   { name = "The Dafny core team", email = "[email protected]" },
 ]