Merge remote-tracking branch 'origin/master' into update-java

jesperancinha · jesperancinha · commit 956649053978 · 2025-12-28T12:14:19.000+01:00
diff --git a/pr.md b/pr.md
@@ -1 +1 @@
-PR Accept on Sun Dec  7 09:58:42 CET 2025
+PR Accept on Sun Dec 28 11:34:32 CET 2025
