Skip to content

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

Merged
fjmolinas merged 1 commit intoRIOT-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 intoRIOT-OS:2020.01-branchfrom
MichelRottleuthner:pr_bp_13185

Conversation

@MichelRottleuthner
Copy link
Contributor

Backport of #13185

Contribution description

This is PR is the same as #11992 because this bug fix was removed on accident.
Was removed in #9530

Testing procedure

same as #11992 (also see this comment)

Issues/PRs references

#11992

@MichelRottleuthner MichelRottleuthner added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Area: timers Area: timer subsystems Process: release backport Integration Process: The PR is a release backport of a change previously provided to master labels Jan 27, 2020
@fjmolinas
Copy link
Contributor

ACK.

fjmolinas
fjmolinas previously approved these changes Jan 27, 2020
@fjmolinas fjmolinas added this to the Release 2020.01 milestone Jan 27, 2020
@fjmolinas
Copy link
Contributor

@MichelRottleuthner can you rebase?

no longer into the "if" when the mutex is free

(cherry picked from commit 70923d0)
Copy link
Contributor

@fjmolinas fjmolinas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Re-ACK, only rebased

@fjmolinas
Copy link
Contributor

GO!

@fjmolinas fjmolinas merged commit 126d82f into RIOT-OS:2020.01-branch Jan 27, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Area: timers Area: timer subsystems CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR Process: release backport Integration Process: The PR is a release backport of a change previously provided to master Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants