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

jesperancinha · jesperancinha · commit 241d5f93fbd9 · 2025-10-19T10:29:51.000+02:00
diff --git a/pr.md b/pr.md
@@ -1 +1 @@
-PR Accept on Sun Oct 12 08:42:40 CEST 2025
+PR Accept on Sun Oct 19 10:01:49 CEST 2025
