diff options
| author | Sebastian Valle <subv2112@gmail.com> | 2017-01-05 12:55:01 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-05 12:55:01 -0500 |
| commit | f20d872643654c574f73a263f032613046900f07 (patch) | |
| tree | 021284c18034d053c81928fa19d2efb6658451fb /externals | |
| parent | 4650486b8ea8e3725e966a9f851a5e35e2764875 (diff) | |
| parent | dda4ec93bea089e3286e9a965378d9411f480acd (diff) | |
Merge pull request #2393 from Subv/synch
Kernel: Mutex priority inheritance and synchronization improvements.
Diffstat (limited to 'externals')
0 files changed, 0 insertions, 0 deletions