Skip to content

fix(server): files with a backslash in their name keep their real path in workspace search - #31648

Closed
MarcoDotIO wants to merge 2 commits into
pingdotgg:mainfrom
MarcoDotIO:fix/workspace-search
Closed

fix(server): files with a backslash in their name keep their real path in workspace search#31648
MarcoDotIO wants to merge 2 commits into
pingdotgg:mainfrom
MarcoDotIO:fix/workspace-search

merge: bring main into workspace search fix

1355d17
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Prepare PR size config
succeeded Nov 11, 2026 in 6s