Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

tests: mutex_order: updated test and fixed README [2016.10-backport] #6059

Closed
wants to merge 3 commits into from
Closed

tests: mutex_order: updated test and fixed README [2016.10-backport] #6059

wants to merge 3 commits into from

Conversation

miri64
Copy link
Member

@miri64 miri64 commented Nov 4, 2016

Backport for #6051

@miri64 miri64 added Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors) Area: tests Area: tests and testing framework Area: core Area: RIOT kernel. Handle PRs marked with this with care! CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR labels Nov 4, 2016
@miri64 miri64 added this to the Release 2016.10 milestone Nov 4, 2016
@miri64 miri64 mentioned this pull request Nov 4, 2016
Merged
@miri64
Copy link
Member Author

miri64 commented Nov 4, 2016

Duplicate of #6058 ^^

@miri64 miri64 added the State: duplicate State: The issue/PR is a duplicate of another issue/PR label Nov 4, 2016
@miri64 miri64 closed this Nov 4, 2016
@miri64 miri64 deleted the 2016.10/oleg/fix_test_mutex_order_readme branch November 4, 2016 10:44
@miri64 miri64 removed this from the Release 2016.10 milestone Nov 4, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@OlegHahm OlegHahm

@A-Paul A-Paul

Labels
Area: core Area: RIOT kernel. Handle PRs marked with this with care! Area: tests Area: tests and testing framework CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR State: duplicate State: The issue/PR is a duplicate of another issue/PR Type: bug The issue reports a bug / The PR fixes a bug (including spelling errors)
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@miri64 @OlegHahm @A-Paul