2021-07-20 fish-shell 2021-07-19 fish shell [2021-07-19 05:18:55 +0900]: Minor clean up of set_buffer_maintaining_pager [2021-07-19 01:35:47 +0900]: Complete revert of faulty polling workaround