Skip to content
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

WebKit export of https://bugs.webkit.org/show_bug.cgi?id=213667 #24367

Merged

Conversation

pinkig
Copy link
Contributor

@pinkig pinkig commented Jun 26, 2020

@stephenmcgruer
Copy link
Contributor

(Apologies to assignees; this is a known wpt-pr-bot bug. WebKit exports are meant to be reviewed automatically, and wpt-pr-bot will take care of it once this has a R+ downstream. So please ignore :))

@pinkig pinkig force-pushed the wpt-export-for-webkit-213667 branch from f94d2e3 to 937a20f Compare June 27, 2020 03:24
Copy link
Collaborator

@wpt-pr-bot wpt-pr-bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The review process for this patch is being conducted in the WebKit project.

@youennf youennf merged commit faa8aae into web-platform-tests:master Jun 29, 2020
@youennf
Copy link
Contributor

youennf commented Jun 29, 2020

I merged it now that the patch was r+ed in WebKit bug tracker

@stephenmcgruer
Copy link
Contributor

I merged it now that the patch was r+ed in WebKit bug tracker

Note that wpt-pr-bot should merge this automatically once the patch lands in WebKit (cq+, or something like that?); did that not happen here?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants