Commit 80b225fe1ea7d58848bf905dedaae8bb83872b45

Bruno Haible 2023-01-07T15:17:30

timer_time: Rename LIB_TIMER_TIME to TIMER_TIME_LIB. * m4/timer_time.m4: Rename LIB_TIMER_TIME to TIMER_TIME_LIB. All uses changed. * NEWS: Mention the change