Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Moved Intersection & Union mirrors to iron integration #3683

Merged
merged 1 commit into from
Apr 15, 2024
Merged

Conversation

Pask423
Copy link
Contributor

@Pask423 Pask423 commented Apr 15, 2024

closes #3644

@Pask423 Pask423 self-assigned this Apr 15, 2024
@Pask423 Pask423 requested a review from adamw April 15, 2024 07:19
@adamw adamw merged commit 7241505 into master Apr 15, 2024
28 checks passed
@adamw adamw deleted the issue-3644 branch April 15, 2024 07:35
@adamw
Copy link
Member

adamw commented Apr 15, 2024

Thx :)

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.

Move IntersectionTypeMirror & UnionTypeMirror to the iron integration
2 participants