Skip to content

Add an interface for selectable values#186

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_587152574
Dec 9, 2023
Merged

Add an interface for selectable values#186
copybara-service[bot] merged 1 commit intomainfrom
test_587152574

Conversation

@copybara-service
Copy link
Contributor

Add an interface for selectable values

@copybara-service copybara-service bot force-pushed the test_587152574 branch 12 times, most recently from 4c775f3 to 9804330 Compare December 6, 2023 07:18
PiperOrigin-RevId: 589294396
@copybara-service copybara-service bot merged commit 782d995 into main Dec 9, 2023
@copybara-service copybara-service bot deleted the test_587152574 branch December 9, 2023 02:18
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.

1 participant