Skip to content

Preserve SIGINT handler after external paging - #725

Open
hugosmoreira wants to merge 1 commit into
google:masterfrom
hugosmoreira:fix/723-restore-pager-sigint
Open

hugosmoreira wants to merge 1 commit into
google:masterfrom
hugosmoreira:fix/723-restore-pager-sigint

Commits

  1. Commits on Oct 26, 2026