Skip to content

Conversation

adbenitez
Copy link
Member

this changes are required for #3814 but I extracted them to a dedicate PR since they make sense in general

@adbenitez adbenitez requested a review from r10s August 12, 2025 13:58
@adbenitez adbenitez merged commit 68f5d1a into main Aug 12, 2025
2 of 3 checks passed
@adbenitez adbenitez deleted the adb/dont-use-android.R.id.content branch August 12, 2025 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants