Prep for v0.3.7

jump-dev · Jan 31, 2024 · 5388207 · 5388207
1 parent ae53ede
commit 5388207
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "MiniZinc"
 uuid = "a7f392d2-6c35-496e-b8cc-0974fbfcbf91"
 authors = ["odow <[email protected]>"]
-version = "0.3.6"
+version = "0.3.7"
 
 [deps]
 Chuffed_jll = "77125aae-c893-5498-99e3-e30470bfa328"