Closed josh11b closed 20 hours ago
https://github.com/carbon-language/carbon-lang/pull/4576 also does this
4576 also does this
You are right, I should have checked first. Looks like we made slightly different changes, I wonder which is preferable.