From b34664b1064a4b4ea1e0cf4f9179d015ea23a786 Mon Sep 17 00:00:00 2001
From: eclipse-sirius-bot
 <138491446+eclipse-sirius-bot@users.noreply.github.com>
Date: Tue, 13 Feb 2024 16:18:13 +0100
Subject: [PATCH] Update to default 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