Processing commands for cont...@bugs.debian.org: > found 919019 4.20-1~exp1 Bug #919019 [src:linux] Interval timers with CLOCK_*_CPUTIME_ID fail to reschedule with 4.19.13-1 Marked as found in versions linux/4.20-1~exp1. > 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 ow...@bugs.debian.org with problems