From 1475817c3fb305a50ba930ac0c856c5497d26417 Mon Sep 17 00:00:00 2001
From: Jan Bruedigam <jan.bruedigam@t-online.de>
Date: Sun, 4 Jun 2023 11:26:10 +0200
Subject: [PATCH] Bump Dojo to v0.7.2

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

diff --git a/Project.toml b/Project.toml
index 5bd25092..7d7bdeb3 100644
--- a/Project.toml
+++ b/Project.toml
@@ -1,7 +1,7 @@
 name = "Dojo"
 uuid = "ac60b53e-8d92-4c83-b960-e78698fa1916"
 authors = ["simonlc <simonlc@stanford.edu>", "thowell <thowell@stanford.edu>", "Jan Bruedigam <jan.bruedigam@tum.de>"]
-version = "0.7.1"
+version = "0.7.2"
 
 [deps]
 Colors = "5ae59095-9a9b-59fe-a467-6f913c188581"