Resolve "Emacs mode setup is insufficient: opam-share is void" (!1029) · Merge requests · Why3 / why3 · GitLab

Mentions légales du service

GitLab upgrade completed. Current version is 18.11.6
https://docs.gitlab.com/releases/18/gitlab-18-11-released/

Closes #835 (closed)