Merge pull request #2255 from zed-industries/sort-collaborators-alphabetical

Sort collaborators in titlebar alphabetically instead of by replica id
a3b1980a5eJulia committed on 3/9/2023, 2:54:29 AM· committed by GitHubparents1449702981b3a4
1 file changedLine totals unavailable