Fix stale Project Explorer entries after case-only rename on case-insensitive filesystems - #15699

Fix stale Project Explorer entries after case-only rename on case-insensitive filesystems#15699

warp-factories[bot] wants to merge 1 commit into

masterwarpdotdev/warp:masterfrom

factory/gh15698-case-only-rename-stale-tree-entrywarpdotdev/warp:factory/gh15698-case-only-rename-stale-tree-entryCopy head branch name to clipboard