[new release] coq-lsp (0.2.3+9.0) - #27989

[new release] coq-lsp (0.2.3+9.0)#27989

raphael-proust merged 1 commit into

ocaml:masterocaml/opam-repository:masterfrom

ejgallego:release-coq-lsp-0.2.3+9.0ejgallego/opam-repository:release-coq-lsp-0.2.3+9.0Copy head branch name to clipboard