Skip to content

Conversation

@KristofferC
Copy link
Member

@KristofferC KristofferC commented Oct 19, 2025

#4283 got closed for some reason..?

Fixes #2728

@github-project-automation github-project-automation bot moved this to New in Pkg.jl Oct 19, 2025
@IanButterworth IanButterworth moved this from New to In progress in Pkg.jl Oct 20, 2025
@KristofferC KristofferC merged commit 1e0756d into master Oct 20, 2025
11 checks passed
@KristofferC KristofferC deleted the kc/cachedir2 branch October 20, 2025 13:13
@github-project-automation github-project-automation bot moved this from In progress to Done in Pkg.jl Oct 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

CACHEDIR.TAG

1 participant