mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-10-05 18:41:08 +01:00
PR #7230 was automerged before https://github.com/carbon-language/carbon-lang/pull/7230#pullrequestreview-4348841410 could be applied. This commit actions that feedback.