chiark / gitweb /
pager: add _noreturn_ to pager_fallback()