[new release] coq-lsp (0.2.3+8.19) - #27991

[new release] coq-lsp (0.2.3+8.19)#27991

raphael-proust merged 1 commit into

ocaml:masterocaml/opam-repository:masterfrom

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