Closed Octachron closed 2 years ago
This PR fixes the page title for the 4.14.0 release page and bump the opam commit in the Dockerfile to one posterior to the 4.14 release to trigger the update of the news.
Thanks @Octachron :)) Looks good to me !
This PR fixes the page title for the 4.14.0 release page and bump the opam commit in the Dockerfile to one posterior to the 4.14 release to trigger the update of the news.