From ca8dd3d598450d6fbc1409d4da7b0501631d45ad Mon Sep 17 00:00:00 2001
From: Sven Eric Panitz <sveneric@panitz.name>
Date: Fri, 11 Aug 2023 08:19:44 +0200
Subject: [PATCH] neue IDs? Klappt das?

---
 662Records/meta.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/662Records/meta.xml b/662Records/meta.xml
index ebcfa85..f12b3f5 100644
--- a/662Records/meta.xml
+++ b/662Records/meta.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
-<task subatoId="662" id="662Records" lang="Java" attempts="10">
+<task subatoId="662" id="RecordsExample" lang="Java" attempts="10">
   <name>Java 15 Records</name>
   <evaluator>java15</evaluator>
   <description>Erste Experimente mit Java 15</description>
-- 
GitLab