Skip to content

Migrate to records in google-java-format#1343

Merged
copybara-service[bot] merged 1 commit intomasterfrom
test_876109624
Feb 27, 2026
Merged

Migrate to records in google-java-format#1343
copybara-service[bot] merged 1 commit intomasterfrom
test_876109624

Conversation

@copybara-service
Copy link

Migrate to records in google-java-format

I was debugging something where having a toString implementation in TypeWithDims would have been helpful.

I was debugging something where having a `toString` implementation in `TypeWithDims` would have been helpful.

PiperOrigin-RevId: 876329640
@copybara-service copybara-service bot merged commit 4962993 into master Feb 27, 2026
@copybara-service copybara-service bot deleted the test_876109624 branch February 27, 2026 18:53
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