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.

Sign up for GitHub

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

Jump to bottom

[vulkan-headers] Added new port. #14116

Merged
merged 2 commits into from
Oct 20, 2020
Merged

[vulkan-headers] Added new port. #14116

merged 2 commits into from
Oct 20, 2020

Conversation

DragonJoker
Copy link
Contributor

Describe the pull request

@DragonJoker DragonJoker changed the title Added Vulkan-Headers port. [vulkan-headers] Added new port. Oct 19, 2020
@LilyWangL LilyWangL self-assigned this Oct 20, 2020
@LilyWangL LilyWangL added the category:new-port The issue is requesting a new library to be added; consider making a PR! label Oct 20, 2020
@LilyWangL LilyWangL added the info:reviewed Pull Request changes follow basic guidelines label Oct 20, 2020
@BillyONeal BillyONeal merged commit 87573ef into microsoft:master Oct 20, 2020
@BillyONeal
Copy link
Member

Thanks for your contribution!

@DragonJoker DragonJoker deleted the add_vulkan-headers branch October 20, 2020 20:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@LilyWangL LilyWangL LilyWangL approved these changes

Assignees

@LilyWangL LilyWangL

Labels
category:new-port The issue is requesting a new library to be added; consider making a PR! info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

[New Port Request] Vulkan-Headers
3 participants
@DragonJoker @BillyONeal @LilyWangL