Merge pull request #1267 from zed-industries/terminal-fr

This pull request is small and doesn't include many changes to any existing functionality. In the interest of removing blockers ASAP, I will merge.
04e802874dMikayla Maki committed on 7/1/2022, 3:12:08 AM· committed by GitHubparents412b56abcf5351
6 files changedLine totals unavailable