[DEV] Upstream fixes and fix jenkins config

2024-05-09 18:41:17 +02:00
parent 09ec0363be
commit 389ac90e46
4 changed files with 30 additions and 13 deletions
--- a/commit.sha
+++ b/commit.sha
@@ -1 +1 @@
-97d8eaa5e8b37fb291f6e5731a4659d4749dee0b
+7bbbd7be62884a1f37aaf13f2d994b047ccac32a