From 9d52b28868eb4c7810898e5066fd757affa2068f Mon Sep 17 00:00:00 2001 From: Tor Erlend Fjelde Date: Tue, 10 Dec 2024 09:48:51 +0000 Subject: [PATCH] bump patch version --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 14a7e1b1c..61b3b7e81 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "DynamicPPL" uuid = "366bfd00-2699-11ea-058f-f148b4cae6d8" -version = "0.31.4" +version = "0.31.5" [deps] ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"