Skip to content

Fix a race when renaming a session - #3

Merged
javiertoledo merged 1 commit into
theam:mainfrom
didelco:fix-session-rename-race
Oct 9, 2026
Merged

javiertoledo merged 1 commit into
theam:mainfrom
didelco:fix-session-rename-race

Fix a race when renaming a session

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

Annotations

1 notice
build-and-test
succeeded Oct 8, 2026 in 5m 23s