Update submodules to include Fedora 40

ocurrent / opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository

Apache License 2.0

20 stars 22 forks source link

Update submodules to include Fedora 40 #296

Closed mtelvers closed 5 months ago

mtelvers commented 5 months ago

Yes, exactly that.

shonfeder commented 5 months ago

Thank you for confirming! Could you update the PR title so it mentions the motivating Fedora update (just to make the trail a bit clearer in case we need to look back).