Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
The repo.lock file would be opened when installing a distribution, but would never get closed. On windows this could manifest as an error saying it can't delete repo.lock because the resource is busy. This updates CURI.install to close the repo.lock file when leaving the function.
- Loading branch information