Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Follow-up on zed-industries#18447: Unintentional deletion during merg…
…e-conflicts resolution (zed-industries#20991) After zed-industries#18447 was merged, I reviewed the PR code as usual. During this review, I realized that some code was unintentionally removed when I was resolving merge conflicts in zed-industries#18447. Sorry! Release Notes: - N/A
- Loading branch information