Skip to content

Track {set,fset}_union move to pytools#947

Merged
inducer merged 3 commits intomainfrom
fset-union-move
Jul 16, 2025
Merged

Track {set,fset}_union move to pytools#947
inducer merged 3 commits intomainfrom
fset-union-move

Conversation

@inducer
Copy link
Copy Markdown
Owner

@inducer inducer commented Jul 16, 2025

No description provided.

@inducer inducer enabled auto-merge (rebase) July 16, 2025 14:58
@inducer inducer merged commit 7e43b8b into main Jul 16, 2025
17 checks passed
@inducer inducer deleted the fset-union-move branch July 16, 2025 16:04
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.

1 participant