Whoops (#3146)

Whoops, this is what I get for working past-midnight lol, I never pushed
the last commit for https://github.com/zed-industries/zed/pull/3141 so
this PR remedies that

Release Notes:
- NA
cc7df91cc6Julia committed on 10/20/2023, 4:07:33 PM· committed by GitHubparents808976e7c3a8a3
4 files changedLine totals unavailable