From f7afec347fa99c25cbd345cec1e6c485d803a525 Mon Sep 17 00:00:00 2001
From: Christian Schilling <git@christianschilling.net>
Date: Thu, 29 Feb 2024 21:36:54 +0100
Subject: [PATCH] v0.5.1

---
 Project.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Project.toml b/Project.toml
index 2b16f4fa..a018c63f 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,6 +1,6 @@
 name = "ClosedLoopReachability"
 uuid = "73c0b437-a350-4e9b-97ac-9adb151c271b"
-version = "0.5.0"
+version = "0.5.1"
 
 [deps]
 CommonSolve = "38540f10-b2f7-11e9-35d8-d573e4eb0ff2"