Closed mtelvers closed 6 months ago
Addresses https://github.com/ocaml/infrastructure/issues/113. However, Fedora won't be released until 23rd April so do not merge yet!
In the same spirit Ubuntu 24.04 is scheduled for April 25.
Addresses https://github.com/ocaml/infrastructure/issues/113. However, Fedora won't be released until 23rd April so do not merge yet!