-
Richard M. Stallman authored
(wait_reading_process_input): Call wait_reading_process_input_1. If timer_check runs some timers, retry it.
c573ae8e
(wait_reading_process_input): Call wait_reading_process_input_1. If timer_check runs some timers, retry it.