#755 Fix `pager()` compile error on Windows
Closed on February 23, 2023
nikitalita on February 8, 2023
well, it looks like pijul push over ssh may be broken as well, so I can’t put the patch here yet.
nikitalita added a change on February 8, 2023
KNSBWC3EVGBK77GEHL4R6AQ4R646ZGZ2DB75KXKVC7XJS3JKAT5AC main
pmeunier on February 23, 2023
Thanks! I just applied this patch.
pmeunier closed this discussion on February 23, 2023
pager()on windows takes 0 arguments,pager()on unix takes 1, so it failed to compile. Added a dummy argument to the windows one.