Still Failing: g-i-installation_debian_sid_daily_hurd_lxde/390

See https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/390/ and https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/390//console and https://jenkins.debian.net/job/g-i-installation_debian_sid_daily_hurd_lxde/390//artifact/results/ if there are an

Debian Hurd clock precision

Hi, While debugging a timing problem with FFmpeg on Hurd, I noticed that the "clock" function has a far lower precision on Hurd than it does on Linux, even though CLOCKS_PER_SEC is 100 on both. Why is this? I also found this patch to libc which may be responsible: hurd-i386/unsubmitted-clock_