diff options
| author | Dániel Buga <[email protected]> | 2024-12-17 18:05:48 +0100 |
|---|---|---|
| committer | Dániel Buga <[email protected]> | 2024-12-17 18:07:06 +0100 |
| commit | 8fd08b1e97533c7526bb4937770060d18bb37410 (patch) | |
| tree | 3e30a41e0d630f6b472bd85a4407f600ca07410a /embassy-executor/src/raw/timer_queue.rs | |
| parent | edb8f21a741358f7c80b744f008f1e5acc77b429 (diff) | |
Swap poll_fn to allow polling exited tasks
Diffstat (limited to 'embassy-executor/src/raw/timer_queue.rs')
0 files changed, 0 insertions, 0 deletions