diff options
| author | chrysn <chrysn@fsfe.org> | 2019-10-10 16:42:26 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-10 16:42:26 +0200 |
| commit | bbd47e20ee094d34a65abc41b5ab7f78b8df35d3 (patch) | |
| tree | 5fdb41643fd84ae1976ae69dca20afc7f364a6c6 /ui/single/extern-interrupt-used.rs | |
| parent | 38306389ea4d8fadac8565e681887740912e14bd (diff) | |
critical sections: each task gets its own context
Fixing what was probably a copy-paste error; different tasks each have different types for their context argument.
Diffstat (limited to 'ui/single/extern-interrupt-used.rs')
0 files changed, 0 insertions, 0 deletions