https://issues.dlang.org/show_bug.cgi?id=13433
--- Comment #7 from Marco Leise <marco.le...@gmx.de> --- Do you have a source Jonathan? All I could find about it was references to the kernel ticks on Linux which is 100, 250 or 1000 Hz, but never as low as 10 Hz. On tickless systems I couldn't figure out how exactly the time is updated, but assumed it would not fall behind the tick rate. --
