diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-15 22:43:59 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-15 22:43:59 +0000 |
| commit | 8a1f009c34b8cad3f7478aa67432fc60d47be4c0 (patch) | |
| tree | e820a43b95ac46acfc3d2b790d2c9f311dda65e5 /examples/task.rs | |
| parent | 6196984d6d75be987d3dec3bf17909e3cd40c15b (diff) | |
| parent | bbd47e20ee094d34a65abc41b5ab7f78b8df35d3 (diff) | |
Merge #252
252: critical sections book: each task gets its own context r=japaric a=chrysn
Fixing what was probably a copy-paste error; different tasks each have different types for their context.
Co-authored-by: chrysn <chrysn@fsfe.org>
Diffstat (limited to 'examples/task.rs')
0 files changed, 0 insertions, 0 deletions