Skip to content

Conversation

@KristofferC
Copy link
Member

@KristofferC KristofferC commented Nov 5, 2025

Backported PRs:

Need manual backport:

Contains multiple commits, manual intervention needed:

@github-project-automation github-project-automation bot moved this to New in Pkg.jl Nov 5, 2025
@KristofferC KristofferC changed the title Update registries during dev (#4186) Backports for 1.12 Nov 5, 2025
@KristofferC KristofferC merged commit 499e7d3 into release-1.12 Nov 8, 2025
16 checks passed
@KristofferC KristofferC deleted the backports-release-1.12 branch November 8, 2025 13:54
@github-project-automation github-project-automation bot moved this from New to Done in Pkg.jl Nov 8, 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.

4 participants