mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 21:10:12 +01:00
Issue reported in [#infra on Discord](https://discord.com/channels/655572317891461132/707150492370862090/1152031995740827718).
Issue reported in [#infra on Discord](https://discord.com/channels/655572317891461132/707150492370862090/1152031995740827718).