Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
If not set then OPAM does not set the right path for the OPAM root and will use the default `~/.opam` no matter what. The OPAM API is surprising in this regard that even passing the root folder to `load_defaults` does not actually end up setting the folder. Closes tarides#197
- Loading branch information