Skip to content

fix(server): preserve discovered editors when scanning times out - #10694

Closed
edemaine wants to merge 1 commit into
pingdotgg:mainfrom
edemaine:editor-timeout
Closed

fix(server): preserve discovered editors when scanning times out#10694
edemaine wants to merge 1 commit into
pingdotgg:mainfrom
edemaine:editor-timeout

fix(server): preserve discovered editors when scanning times out

5e115dd
Select commit
Loading
Failed to load commit list.
blacksmith.sh / [code]smith skipped Sep 8, 2026

[code]smith is not active on this PR

[code]smith is not active on this PR. Ask [code]smith to autofix CI on this PR: Enable autofix

View more details on blacksmith.sh