[new release] coq-lsp (0.2.3+8.20) - #27990

[new release] coq-lsp (0.2.3+8.20)#27990

raphael-proust merged 1 commit into

ocaml:masterocaml/opam-repository:masterfrom

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