From 9b6eacee6c0b040f0c41354ca249a4b0d87ac4b9 Mon Sep 17 00:00:00 2001
From: eclipse-pdt-bot <135130619+eclipse-pdt-bot@users.noreply.github.com>
Date: Tue, 27 Feb 2024 10:16:46 +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