ui: do not write() to channel if builtin pager has terminated#4209

Merged

yuja merged 1 commit intojj-vcs:mainfrom yuja:push-svyrpmkqzkll

Aug 5, 2024

+7

Commits on Aug 5, 2024

ui: do not write() to channel if builtin pager has terminated
yuja
committed