Skip to content
Snippets Groups Projects

opam: Fix 'opam init' error when relisting an opam instance

Passed
Jenkins Bot created pipeline for commit 8d7dccc5
, finished
For v5.7.3
latest branch
2 jobs