From 528cb88e9de3358f7756552747923ad2d6a82df9 Mon Sep 17 00:00:00 2001
From: eclipse-theia-bot <67335470+eclipse-theia-bot@users.noreply.github.com>
Date: Thu, 21 Dec 2023 10:01:02 +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