Merge remote-tracking branch 'origin/main' into 6.x

jmini · jmini · commit f1a7e2de816c · 2024-11-21T14:40:38.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -16,7 +16,7 @@
 *.pydevproject
 .project
 .metadata
-/bin
+bin/
 tmp/
 *.tmp
 *.bak
