Skip to content

chore: type cast misc change#2056

Open
copybara-service[bot] wants to merge 1 commit intomainfrom
copybara/868863360
Open

chore: type cast misc change#2056
copybara-service[bot] wants to merge 1 commit intomainfrom
copybara/868863360

Conversation

@copybara-service
Copy link

@copybara-service copybara-service bot commented Feb 12, 2026

chore: type cast misc change

PiperOrigin-RevId: 868863360
@copybara-service copybara-service bot changed the title No public description chore: type cast misc change Feb 12, 2026
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.

1 participant