Merge pull request #3509 from JuliaReach/schillic-patch-1

schillic · web-flow · commit e23125c8b1ff · 2024-05-14T20:34:30.000+02:00
v2.13.0
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "LazySets"
 uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
-version = "2.12.1"
+version = "2.13.0"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"
