Benoit Marty 55ee04aab1 Release script: read the build tool version from Versions.kt

2025-09-10 11:33:38 +02:00

..

fix-pg-map-id.py

…

inplace-fix.py

…

release.sh

Release script: read the build tool version from Versions.kt

2025-09-10 11:33:38 +02:00

ReleaseNotesNightly.md

…