Skip to content

Conversation

@jorenham
Copy link
Member

@jorenham jorenham commented Oct 3, 2025

Closes #895

@jorenham jorenham merged commit 3ff165c into master Oct 3, 2025
22 checks passed
@jorenham jorenham deleted the stubdefaulter branch October 3, 2025 23:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

consider adding stubdefaulter to the toolchain

2 participants