Skip to content

Fix closed PR output lost in pipe subshell#555

Merged
cguldner merged 1 commit into
dropbox:mainfrom
cguldner:fix-close-prs-subshell
Jul 17, 2026
Merged

Fix closed PR output lost in pipe subshell#555
cguldner merged 1 commit into
dropbox:mainfrom
cguldner:fix-close-prs-subshell