Merge pull request #1223 from zed-industries/update-metadata-when-worktrees-are-removed

Update project metadata when releasing a worktree's weak handle
f09a997d2dAntonio Scandurra committed on 6/22/2022, 8:50:44 AM· committed by GitHubparents484e98c2f09a4a
1 file changedLine totals unavailable