Skip to content

xtimer/xtimer.c:_mutex_timeout() improved [backport 2020.01]#13207

Merged
fjmolinas merged 1 commit into
RIOT-OS:2020.01-branchfrom
MichelRottleuthner:pr_bp_13185
Jan 27, 2020
Merged

xtimer/xtimer.c:_mutex_timeout() improved [backport 2020.01]#13207
fjmolinas merged 1 commit into
RIOT-OS:2020.01-branchfrom
MichelRottleuthner:pr_bp_13185

xtimer/xtimer.c:_mutex_timeout() improved

a2f2315
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs