Skip to content

Conversation

@pietroalbini
Copy link
Member

Fixes a mistake I did in #2263.

@pietroalbini pietroalbini merged commit c96f4bb into master Oct 20, 2025
240 of 313 checks passed
@pietroalbini pietroalbini deleted the ea-moowyynyssvy branch October 20, 2025 16:53
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