Skip to content

Conversation

@mbrandonw
Copy link
Member

It was a blunt tool, and it's not really needed.

@mbrandonw mbrandonw merged commit 552e757 into main Oct 9, 2025
5 checks passed
@mbrandonw mbrandonw deleted the remove-main-actor-now branch October 9, 2025 01:18
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.

4 participants