From 433b08d724107ad0bb4f70477b1157cb0962263e Mon Sep 17 00:00:00 2001 From: Zachary Sunberg Date: Sun, 22 Oct 2023 11:22:57 -0700 Subject: [PATCH] Bump version (#523) --- Project.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Project.toml b/Project.toml index 99c2939a..d7259c70 100644 --- a/Project.toml +++ b/Project.toml @@ -1,6 +1,6 @@ name = "POMDPs" uuid = "a93abf59-7444-517b-a68a-c42f96afdd7d" -version = "0.9.5" +version = "0.9.6" [deps] Distributions = "31c24e10-a181-5473-b8eb-7969acd0382f"