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

schillic · web-flow · commit f7f33996e387 · 2024-08-09T06:40:26.000+02:00
v2.14.2
diff --git a/Project.toml b/Project.toml
@@ -1,6 +1,6 @@
 name = "LazySets"
 uuid = "b4f0291d-fe17-52bc-9479-3d1a343d9043"
-version = "2.14.1"
+version = "2.14.2"
 
 [deps]
 Distributed = "8ba89e20-285c-5b6f-9357-94700520ee1b"
