[new release] syndic (1.8.0)#29478

dinosaure wants to merge 3 commits intoocaml:masterocaml/opam-repository:masterfrom

dinosaure:release-syndic-v1.8.0dinosaure/opam-repository:release-syndic-v1.8.0Copy head branch name to clipboard