diff options
| author | Dario Nieuwenhuis <[email protected]> | 2022-06-26 00:13:31 +0200 |
|---|---|---|
| committer | Dario Nieuwenhuis <[email protected]> | 2022-06-26 00:13:31 +0200 |
| commit | 935def4a0ba8f3d2086361c9971037561a60f255 (patch) | |
| tree | 17273c194611933181e9f136ce4b9be98306dc84 /examples/boot | |
| parent | a51df0dec619ee783579578d395d99f97857094b (diff) | |
executor: mark `task_from_waker` as safe.
Diffstat (limited to 'examples/boot')
0 files changed, 0 insertions, 0 deletions