Skip to content

Conversation

@github-actions
Copy link

@github-actions github-actions bot commented Nov 4, 2025

Cherry Pick: Original PR - #2815

…rm logs to Dart, and then handle with custom log printer (Resolves #2813) (#2815)
@matthew-carroll matthew-carroll merged commit 48ca3ab into stable Nov 4, 2025
21 of 22 checks passed
@matthew-carroll matthew-carroll deleted the cherry-pick_2813_super-keyboard_make-logs-pluggable_9f7cd6c58c966a506ccba3bf494aa2cda62b5529 branch November 4, 2025 22:32
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.

2 participants