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

Use dynamicDowncast<T> in AccessibilityARIAGridRow.cpp #22443

Conversation

@joone joone self-assigned this Jan 5, 2024
@joone joone added the Accessibility For bugs related to accessibility. label Jan 5, 2024
@joone joone added WebCore Misc. For miscellaneous bugs in the WebCore framework (and not JavaScriptCore or WebKit). and removed Accessibility For bugs related to accessibility. labels Jan 8, 2024
@joone joone requested a review from cdumez January 8, 2024 08:48
Copy link
Contributor

@cdumez cdumez left a comment

Choose a reason for hiding this comment

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

LGTM with 2 changes.

Source/WebCore/accessibility/AccessibilityARIAGridRow.cpp Outdated Show resolved Hide resolved
Source/WebCore/accessibility/AccessibilityARIAGridRow.cpp Outdated Show resolved Hide resolved
@joone joone force-pushed the eng/Use-dynamicDowncastT-in-AccessibilityARIAGridRow-cpp branch from a7abbd5 to 4f46840 Compare January 9, 2024 02:53
@joone joone added Accessibility For bugs related to accessibility. and removed WebCore Misc. For miscellaneous bugs in the WebCore framework (and not JavaScriptCore or WebKit). labels Jan 9, 2024
@joone joone added the merge-queue Applied to send a pull request to merge-queue label Jan 9, 2024
@webkit-commit-queue webkit-commit-queue force-pushed the eng/Use-dynamicDowncastT-in-AccessibilityARIAGridRow-cpp branch from 4f46840 to 208e146 Compare January 9, 2024 19:17
@webkit-commit-queue
Copy link
Collaborator

Committed 272824@main (208e146): https://commits.webkit.org/272824@main

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

@webkit-commit-queue webkit-commit-queue merged commit 208e146 into WebKit:main Jan 9, 2024
@webkit-commit-queue webkit-commit-queue removed the merge-queue Applied to send a pull request to merge-queue label Jan 9, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Accessibility For bugs related to accessibility.
Projects
None yet
4 participants