Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Introduce Decl hierarchy #722

Merged
1 commit merged into from
May 8, 2024
Merged

Introduce Decl hierarchy #722

1 commit merged into from
May 8, 2024

Conversation

copybara-service[bot]
Copy link

Introduce Decl hierarchy

@copybara-service copybara-service bot force-pushed the test_630440053 branch 3 times, most recently from 87a7c50 to f3363c7 Compare May 8, 2024 20:00
PiperOrigin-RevId: 631909100
@copybara-service copybara-service bot closed this pull request by merging all changes into master in e5a0e1a May 8, 2024
@copybara-service copybara-service bot deleted the test_630440053 branch May 8, 2024 20:36
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant