diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 15:03:49 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-04-19 15:03:49 -0500 |
| commit | aee3c2b29b9c47d5b359cc8ef56fcd0d9a9ba15d (patch) | |
| tree | 746ddfc1d8904e469a67e87964accdac62584d90 /README.md | |
| parent | aee1d785a914365e64462ce507e27ca917da9055 (diff) | |
critical: don't let the ceiling token escape the critical section
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions