Skip to content

fix: Kill all shell pids on quit + migrate legacy shell manager#593

Merged
jonathanlab merged 4 commits intomainfrom
01-25-kill_all_shell_pids_on_quit
Jan 26, 2026
Merged

fix: Kill all shell pids on quit + migrate legacy shell manager#593
jonathanlab merged 4 commits intomainfrom
01-25-kill_all_shell_pids_on_quit

Commits

Commits on Jan 26, 2026