Skip to content

Conversation

@vustef
Copy link
Collaborator

@vustef vustef commented Nov 10, 2025

...perhaps that wasn't needed, but here we are

@vustef vustef requested review from Drvi and gbrgr November 10, 2025 17:48
@vustef vustef merged commit 9711e4c into main Nov 10, 2025
2 checks passed
@vustef vustef deleted the vs-julia-compat-1-10 branch November 10, 2025 18:31
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