julia
Some more backports for 1.12.2
#60123
Merged
Overview
Commits
2
Changes
View On GitHub

Some more backports for 1.12.2 #60123

KristofferC merged 2 commits into release-1.12 from backports-release-1.12
KristofferC
nalimilan Fix removal of GPL libs (#60100)
45a7ecec
fingolfin Backport to 1.12: bump Documenter to 1.15.0 (#60126)
4f338935
KristofferC KristofferC merged 0446b133 into release-1.12 104 days ago
KristofferC KristofferC deleted the backports-release-1.12 branch 104 days ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Terms Of Use Privacy Policy Refund Policy Impressum