Merge pull request #1129 from zed-industries/update-notification

Show a notification after Zed auto-updates
b53f887eccMax Brunsfeld committed on 6/7/2022, 8:16:04 PM· committed by GitHubparents96cdf3bc86b12e
9 files changedLine totals unavailable