Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

Fixed an issue that could happen in some cases of `opam switch import` #1218

Merged
merged 1 commit into from Mar 4, 2014