Mise à jour terminée. Pour connaître les apports de la version 13.8.4 par rapport à notre ancienne version vous pouvez lire les "Release Notes" suivantes :
https://about.gitlab.com/releases/2021/02/11/security-release-gitlab-13-8-4-released/
https://about.gitlab.com/releases/2021/02/05/gitlab-13-8-3-released/

Commit 5b20b5bd authored by POTTIER Francois's avatar POTTIER Francois

Typo.

parent ab1c4a99
Pipeline #200813 passed with stages
in 56 seconds
......@@ -206,7 +206,7 @@
* Menhir is now built and installed by `dune`. This should make life easier
for Menhir's developers: in particular, `make test` and `make speed` can be
run straight away and do not requiring installing Menhir first. This should
run straight away and do not require installing Menhir first. This should
also make compilation much faster on multi-core machines. (Contributed by
Nicolás Ojeda Bär, to whom many thanks are due.)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment