Merge branch 'main' into fix-workflows

koppor · web-flow · commit 0ceb56c71e7c · 2025-06-18T22:02:38.000+02:00
diff --git a/.jbang/JabSrvLauncher.java b/.jbang/JabSrvLauncher.java
@@ -25,6 +25,7 @@
 
 //DEPS org.jabref:jablib:6.+
 //DEPS info.picocli:picocli:4.7.7
+//DEPS org.jspecify:jspecify:1.0.0
 
 // from jabsrv
 //DEPS org.slf4j:slf4j-api:2.0.17
