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/

  • MARCHE Claude's avatar
    Merge branch 'master' into itp · 7bfbc104
    MARCHE Claude authored
    Conflicts:
    	examples/dijkstra/why3session.xml
    	examples/dijkstra/why3shapes.gz
    	src/ide/gmain.ml
    	src/session/session.ml
    	src/session/session.mli
    	src/session/session_scheduler.ml
    	src/tools/why3replay.ml
    	src/why3session/why3session_copy.ml
    	src/why3session/why3session_csv.ml
    	src/why3session/why3session_info.ml
    	src/why3session/why3session_lib.ml
    7bfbc104
why3session_html.ml 11 KB