mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 21:40:12 +01:00
Comment became out of date with #4698 . Seems better to delete instead of update this comment. Co-authored-by: Josh L <josh11b@users.noreply.github.com>