Skip to content

Conversation

@solverat
Copy link
Member

@solverat solverat commented Aug 4, 2025

Q A
Bug fix? yes
New feature? no
BC breaks? no
Deprecations? no

@solverat solverat added the bug label Aug 4, 2025
@solverat solverat added this to the 5.3.2 milestone Aug 4, 2025
@solverat solverat merged commit 1fc7e45 into master Aug 4, 2025
3 checks passed
@solverat solverat deleted the id_int_fix branch August 4, 2025 14:32
@github-actions github-actions bot locked and limited conversation to collaborators Aug 4, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant