v8.2.3768
95b2dd0c · patch 8.2.3768: timer_info() has the wrong repeat value in a timer callback ·