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
@strega-nil strega-nil merged commit e14917f into microsoft:master Oct 13, 2020
@Neumann-A Neumann-A deleted the use_make_compile_wrappers branch October 13, 2020 18:08
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