Skip to content

chore: add test for issue #11930#12484

Merged
leodemoura merged 1 commit intomasterfrom
grind_11930
Feb 15, 2026
Merged

chore: add test for issue #11930#12484
leodemoura merged 1 commit intomasterfrom
grind_11930

Conversation

@leodemoura
Copy link
Copy Markdown
Member

Issue has already been fixed

Closes #11930

Issue has already been fixed

Closes #11930
@leodemoura leodemoura added the changelog-no Do not include this PR in the release changelog label Feb 15, 2026
@leodemoura leodemoura enabled auto-merge February 15, 2026 00:35
@leodemoura leodemoura added this pull request to the merge queue Feb 15, 2026
Merged via the queue into master with commit 0721313 Feb 15, 2026
21 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog-no Do not include this PR in the release changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

unknown free variable for recursive grind terms

1 participant