Skip to content

Conversation

KristofferC
Copy link
Member

this should not be needed after JuliaLang/julia#56635

@KristofferC KristofferC merged commit 7efc3ba into master Nov 27, 2024
1 of 2 checks passed
@KristofferC KristofferC deleted the kc/REPL branch November 27, 2024 08:42
KristofferC added a commit that referenced this pull request Dec 2, 2024
this should not be needed after JuliaLang/julia#56635

(cherry picked from commit 7efc3ba)
KristofferC added a commit that referenced this pull request Dec 2, 2024
this should not be needed after JuliaLang/julia#56635

(cherry picked from commit 7efc3ba)
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.

1 participant