Skip to content

Backport D-alpha release fixes

Mehdi Bouaziz requested to merge mehdi@backport-release-fixes-opam into proto-proposal

Cherry-pick commits from D-alpha release branch to ease the next one.

Edited by Mehdi Bouaziz

Merge request reports