Skip to content

Remove unneeded binding for ModularInt#100

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_865565234
Feb 5, 2026
Merged

Remove unneeded binding for ModularInt#100
copybara-service[bot] merged 1 commit intomainfrom
test_865565234

Conversation

@copybara-service
Copy link

Remove unneeded binding for ModularInt

@copybara-service copybara-service bot force-pushed the test_865565234 branch 6 times, most recently from dc0085c to 58dbb34 Compare February 5, 2026 20:28
PiperOrigin-RevId: 866062648
@copybara-service copybara-service bot merged commit 7b07f20 into main Feb 5, 2026
@copybara-service copybara-service bot deleted the test_865565234 branch February 5, 2026 20:30
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