Christian Mehlis 5f10d44009 use mutex in vtimer_sleep
this change prevents a race condition in case of
short sleep time

Fixes: https://github.com/RIOT-OS/RIOT/issues/550
2014-01-23 15:20:43 +01:00
..
2014-01-05 16:11:07 +01:00
2014-01-23 15:20:43 +01:00