Merge remote-tracking branch 'origin/main' into weigl/overop

* origin/main: Bump org.slf4j:slf4j-api from 2.0.11 to 2.0.12
KeYProject · Feb 18, 2024 · 3053fc1 · 3053fc1
2 parents 71354b6 + 1064b30
commit 3053fc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.gradle b/build.gradle
@@ -70,7 +70,7 @@ subprojects {
     }
 
     dependencies {
-        implementation("org.slf4j:slf4j-api:2.0.11")
+        implementation("org.slf4j:slf4j-api:2.0.12")
 
         testImplementation("ch.qos.logback:logback-classic:1.4.14")
         testImplementation 'org.junit.jupiter:junit-jupiter-api:5.10.2'