From 323be5246480e6e9ca128fb38617f78631cc5a9f Mon Sep 17 00:00:00 2001
From: eclipse-embed-cdt-bot
 <70755217+eclipse-embed-cdt-bot@users.noreply.github.com>
Date: Thu, 21 Dec 2023 09:58:39 +0100
Subject: [PATCH] Update to v0.7.1 of the default config

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

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