Commit 1d84273c authored by Petr Špaček's avatar Petr Špaček

Merge branch 'monotonic-timers' into 'master'

Don't fake monotonic timers

See merge request !132
parents 24354fc4 192c2691
Pipeline #39569 passed with stage
in 1 minute and 43 seconds