0b77d30d2b
calling thread from being rescheduled based on an unspecified wakeup time. Bug/fix pointed out by Alexandre Fenyo <fenyo@email.enst.fr>.