JulianHolzwarth 70923d0c1b xtimer/xtimer.c:_mutex_timeout() improved
no longer into the "if" when the mutex is free
2020-01-22 18:40:29 +01:00
..