-
Notifications
You must be signed in to change notification settings - Fork 83
Add missing parameter name for algorithm #585
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
Conversation
It currently lists all parameters explicitly, except for `input`. While implementing this algorithm in Servo, I was confused what the value of `input` is supposed to be. Then I saw that it is probably the third argument, so let's make that explicit.
|
I have linked my GitHub acccount to a W3C account |
|
@fred-wang do you mind restarting this build? Seems like a tiny fix |
|
@TimvdLippe mmh, I don't know how I can do that (maybe @lukewarlow knows?). Shouldn't a forced push do that automatically? |
|
I made this change via the GitHub UI and don't have a local copy available that I can run git commands on :/ I could recreate the PR? |
|
Sorry I don't think I can relaunch the ipr check |
|
I'm going to go ahead and mark this as non substantative because that's what it is |
|
lukewarlow marked as non substantive for IPR from ash-nazg. |
SHA: fbd1144 Reason: push, by lukewarlow Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
SHA: fbd1144 Reason: push, by lukewarlow Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
|
Cool thanks for figuring it out! |
SHA: fbd1144 Reason: push, by foolip Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
It currently lists all parameters explicitly, except for
input. While implementing this algorithm in Servo, I was confused what the value ofinputis supposed to be. Then I saw that it is probably the third argument, so let's make that explicit.Preview | Diff