Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
For the internal Cygwin, use --quiet-mode hidden
Should almost certainly use noinput when running with -v, but regardless we probably need some kind of status or it's not clear that opam's still running!
- Loading branch information