Processing commands for control@bugs.debian.org: > tags 919019 + upstream Bug #919019 [src:linux] Interval timers with CLOCK_*_CPUTIME_ID fail to reschedule with 4.19.13-1 Added tag(s) upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 919019: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919019 Debian Bug Tracking System Contact owner@bugs.debian.org with problems