mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-09-24 20:50:13 +01:00
Follow up to delete that happened in #4731 . Co-authored-by: Josh L <josh11b@users.noreply.github.com>
Follow up to delete that happened in #4731 . Co-authored-by: Josh L <josh11b@users.noreply.github.com>