Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Skip the final 'command opam xxx failed' unless in verbose mode
this is redundant since there must be more precise error messages, and we already got the return value of the program for that
- Loading branch information