Skip to content

Conversation

@pauldreik
Copy link
Collaborator

this catches the error reported in the appropriately numbered #911

@pauldreik pauldreik merged commit 1a71fd4 into master Jan 12, 2026
21 of 107 checks passed
@pauldreik pauldreik deleted the fuzz_convert_safe branch January 12, 2026 20:30
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.

3 participants