PR #28961: Update the repo file's announcement following the release of opam 2.5.0

By kit-ty-kate • View on GitHub • Status: MERGED • Labels: consider for merge

Test State: COMPLETED