-
Notifications
You must be signed in to change notification settings - Fork 12.7k
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.
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
File checksum hint follow up #131139
File checksum hint follow up #131139
Conversation
… as the file list for the makefile
The list of allowed third-party dependencies may have been modified! You must ensure that any new dependencies have compatible licenses before merging. These commits modify the If this was unintentional then you should revert the changes before this PR is merged. This PR modifies cc @jieyouxu |
Let's see if I have permission to do this @bors r? @weihanglo |
Disregard, moving this commit over to the beginning PR |
@weihanglo This is the follow-up PR to #126930 which addresses your comment #126930 (comment)
I'll rebase it onto the new
master
once #126930 is merged. The commit of interest is b48c5f1