Merge pull request #29184 from keszybz/more-pager
authorMike Yuan <me@yhndnzj.com>
Fri, 15 Sep 2023 11:53:58 +0000 (19:53 +0800)
committerGitHub <noreply@github.com>
Fri, 15 Sep 2023 11:53:58 +0000 (19:53 +0800)
commit165947382b1a5eb36a13ab2e86be0e0967eb08ae
treef4a7bc961aca1905ce0162c94ef39de137fd0732
parent5898cef22a35ceefa068d5f46929eced2baab0ed
parent87cc99332e2d30cda84790371b65dfc96e14fc87
Merge pull request #29184 from keszybz/more-pager

Use the pager in more places