Skip to content

Conversation

d-netto
Copy link
Member

@d-netto d-netto commented May 2, 2024

PR Description

Backports JuliaLang#54309.

Checklist

Requirements for merging:

@d-netto d-netto requested a review from kpamnany May 2, 2024 15:25
@github-actions github-actions bot added port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels May 2, 2024
@d-netto d-netto removed port-to-v1.10 port-to-v1.12 This change should apply to Julia v1.12 builds labels May 2, 2024
@d-netto d-netto merged commit 3930d18 into v1.10.2+RAI May 3, 2024
@d-netto d-netto deleted the dcn-fix-54275 branch May 3, 2024 14:51
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

Successfully merging this pull request may close these issues.

2 participants