Skip to content
New issue

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

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

opam might not use the git cache correctly in some cases #5897

Closed
kit-ty-kate opened this issue Mar 27, 2024 · 1 comment
Closed

opam might not use the git cache correctly in some cases #5897

kit-ty-kate opened this issue Mar 27, 2024 · 1 comment

Comments

@kit-ty-kate
Copy link
Member

Opening a separate issue for #5061 (comment) which needs to be checked at some point.

@kit-ty-kate
Copy link
Member Author

Duplicate of #5902

@kit-ty-kate kit-ty-kate marked this as a duplicate of #5902 Apr 1, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant