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

Port PlatformCursorType enum to new IPC serialization format #21512

Conversation

@csaavedra csaavedra self-assigned this Dec 8, 2023
@csaavedra csaavedra added the WebKit Misc. For miscellaneous bugs in the WebKit framework (and not JavaScriptCore or WebCore). label Dec 8, 2023
@csaavedra
Copy link
Member Author

csaavedra commented Dec 8, 2023

Failure is just a merge conflict in the serialization.in file, as usual.

@csaavedra csaavedra force-pushed the eng/Port-PlatformCursorType-enum-to-new-IPC-serialization-format branch from 77408cd to 79da511 Compare December 9, 2023 01:13
@csaavedra csaavedra added the merge-queue Applied to send a pull request to merge-queue label Dec 11, 2023
@webkit-commit-queue
Copy link
Collaborator

Committed 271888@main (6ee1f9f): https://commits.webkit.org/271888@main

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

@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Dec 11, 2023
@webkit-commit-queue webkit-commit-queue force-pushed the eng/Port-PlatformCursorType-enum-to-new-IPC-serialization-format branch from 79da511 to 6ee1f9f Compare December 11, 2023 18:58
@webkit-commit-queue webkit-commit-queue merged commit 6ee1f9f into WebKit:main Dec 11, 2023
@csaavedra csaavedra deleted the eng/Port-PlatformCursorType-enum-to-new-IPC-serialization-format branch December 12, 2023 09:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
WebKit Misc. For miscellaneous bugs in the WebKit framework (and not JavaScriptCore or WebCore).
Projects
None yet
4 participants