Skip to content

Merge shell history across concurrent processes - #228

Merged
Mike Krüger (mkrueger) merged 13 commits into
mainfrom
dev/mkrueger/fix-history-multi-process
Oct 2, 2026
Merged

Mike Krüger (mkrueger) merged 13 commits into
mainfrom
dev/mkrueger/fix-history-multi-process