Skip to content

Conversation

JackBoosY
Copy link
Contributor

Fixes #13758.

@JackBoosY JackBoosY added category:port-feature The issue is with a library, which is requesting new capabilities that didn’t exist category:port-bug The issue is with a library, which is something the port should already support info:internal labels Oct 21, 2020
@BillyONeal BillyONeal merged commit 998f86a into microsoft:master Oct 21, 2020
@BillyONeal
Copy link
Member

Thanks for your contribution! :)

@JackBoosY JackBoosY deleted the dev/jack/13758 branch October 21, 2020 05:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:port-bug The issue is with a library, which is something the port should already support category:port-feature The issue is with a library, which is requesting new capabilities that didn’t exist
Projects
None yet
Development

Successfully merging this pull request may close these issues.

ptex build failure
3 participants