mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-29 14:54:56 +01:00
I inadvertently didn't commit and push the actual fixes suggested and made to that PR, and didn't notice this before putting it into the merge queue. =[ Very sorry, these were supposed to be in that PR.