Skip to content

Make extended types mandatory#512

Merged
user1736 merged 3 commits intomicrosoft:mainfrom
user1736:make-extended-types-mandatory
Feb 12, 2025
Merged

Make extended types mandatory#512
user1736 merged 3 commits intomicrosoft:mainfrom
user1736:make-extended-types-mandatory

Conversation

@user1736
Copy link
Contributor

No description provided.

@user1736 user1736 force-pushed the make-extended-types-mandatory branch from 58d4e2e to eb2b86c Compare February 12, 2025 12:11
@user1736 user1736 merged commit f1ae8b8 into microsoft:main Feb 12, 2025
2 checks passed
@user1736 user1736 deleted the make-extended-types-mandatory branch February 12, 2025 12:19
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.

2 participants