Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #1007 from zed-industries/dedup-contact-notifications
Unverified
Avoid creating duplicate notifications
efd9563b25
Max Brunsfeld committed on 5/17/2022, 6:29:10 PM
· committed by GitHub
parents
d5c7a96
9b29245
Files Changed
2 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
contacts_panel/src
contacts_panel/src
…
contacts_panel.rs
contacts_panel.rs
…
workspace/src
workspace/src
…
workspace.rs
workspace.rs
…