From 52b5f9d9adacd93547c2b04827068af0e4da6735 Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Thu, 31 Oct 2024 00:28:11 -0500 Subject: [PATCH] Prepared next patch 4.9.1 and put back prereleases on master --- Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml b/Source/DafnyRuntime/DafnyRuntimePython/pyproject.toml index c18e2ce8a0c..45b21eed343 100644 --- 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 = "core-team@dafny.org" }, ]