assume_lifetimes: Lower user-defined records with lifetime parameters.#776
Merged
copybara-service[bot] merged 1 commit intomainfrom Mar 28, 2026
Merged
assume_lifetimes: Lower user-defined records with lifetime parameters.#776copybara-service[bot] merged 1 commit intomainfrom
copybara-service[bot] merged 1 commit intomainfrom
Commits
Commits on Mar 28, 2026
- authored andcommitted
