Skip to content

Conversation

Neumann-A
Copy link
Contributor

preparation for #12936

@JackBoosY JackBoosY added the category:tool-update The issue is with build tool or build script, which requires update or should be executed correctly label Oct 13, 2020
@JackBoosY JackBoosY added the info:reviewed Pull Request changes follow basic guidelines label Oct 13, 2020
@JackBoosY
Copy link
Contributor

Ready to review?

@Neumann-A
Copy link
Contributor Author

yes the changes were necessary after the merge of #14000

@strega-nil strega-nil merged commit ecdd15e into microsoft:master Oct 14, 2020
@Neumann-A Neumann-A deleted the determine_build_triplet branch October 14, 2020 17:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:tool-update The issue is with build tool or build script, which requires update or should be executed correctly info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants