Skip to content
Snippets Groups Projects

remove no-longer-needed OCAML specifier

Passed
Ralf Jung created pipeline for commit 57f7d7e7
, finished
branch
4 jobs