Skip to content

Skip workspace settings entries whose URI has no filesystem path - #87

Merged
Eduardo Villalpando Mello (edvilme) merged 2 commits into
mainfrom
copilot/fix-workspace-initialization-crash
Aug 17, 2026
Merged

Skip workspace settings entries whose URI has no filesystem path#87
Eduardo Villalpando Mello (edvilme) merged 2 commits into
mainfrom
copilot/fix-workspace-initialization-crash