Skip to content

[2.0 backport] Port the release script from master#6083

Merged
rjbou merged 1 commit intoocaml:2.0from kit-ty-kate:2.0-port-release-scriptJul 10, 2024

Commits

Commits on Jul 10, 2024