From 9470a39bea3fec080ca264939b9627e9fc18cd14 Mon Sep 17 00:00:00 2001
From: eclipse-platform-bot
 <99407767+eclipse-platform-bot@users.noreply.github.com>
Date: Tue, 27 Feb 2024 09:37:45 +0100
Subject: [PATCH] update config

---
 otterdog/jsonnetfile.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/otterdog/jsonnetfile.json b/otterdog/jsonnetfile.json
index f8adf7f..3fcfb1c 100644
--- a/otterdog/jsonnetfile.json
+++ b/otterdog/jsonnetfile.json
@@ -8,7 +8,7 @@
           "subdir": ""
         }
       },
-      "version": "v0.7.1"
+      "version": "v0.7.2"
     }
   ],
   "legacyImports": true