Skip to content

Make AdtCoreBindings DefId optional.#897

Merged
copybara-service[bot] merged 1 commit intomainfrom
test_905261614
Apr 28, 2026
Merged

Make AdtCoreBindings DefId optional.#897
copybara-service[bot] merged 1 commit intomainfrom
test_905261614

Commits

Commits on Apr 28, 2026