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

Web Inspector: Update user agent overrides in Web Inspector to match options in Safari 16 #1435

Merged

Conversation

patrickangle
Copy link
Contributor

@patrickangle patrickangle commented Jun 10, 2022

90d4da3

Web Inspector: Update user agent overrides in Web Inspector to match options in Safari 16
https://bugs.webkit.org/show_bug.cgi?id=241497
rdar://94770649

Reviewed by Devin Rousso.

* Source/WebInspectorUI/UserInterface/Base/Main.js:

Canonical link: https://commits.webkit.org/251881@main

@patrickangle patrickangle self-assigned this Jun 10, 2022
@patrickangle patrickangle added Web Inspector Bugs related to the WebKit Web Inspector. WebKit Nightly Build labels Jun 10, 2022
@patrickangle patrickangle added the merge-queue Applied to send a pull request to merge-queue label Jun 27, 2022
…options in Safari 16

https://bugs.webkit.org/show_bug.cgi?id=241497
rdar://94770649

Reviewed by Devin Rousso.

* Source/WebInspectorUI/UserInterface/Base/Main.js:

Canonical link: https://commits.webkit.org/251881@main
@webkit-commit-queue
Copy link
Collaborator

Committed 251881@main (90d4da3): https://commits.webkit.org/251881@main

Reviewed commits have been landed. Closing PR #1435 and removing active labels.

@webkit-early-warning-system webkit-early-warning-system merged commit 90d4da3 into WebKit:main Jun 27, 2022
@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Jun 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Web Inspector Bugs related to the WebKit Web Inspector.
Projects
None yet
4 participants