diff options
| author | Dario Nieuwenhuis <[email protected]> | 2025-07-08 23:29:31 +0200 |
|---|---|---|
| committer | diondokter <[email protected]> | 2025-08-29 13:20:18 +0200 |
| commit | 658a52fb99e47d3d2f08ebf66335774930ad35ac (patch) | |
| tree | 6e8f84b45f6a8de168c1eaccf5917af7b8fca991 /embassy-executor/src/lib.rs | |
| parent | d3c84ee1d34329e61464c9acbedab74e9076ac0d (diff) | |
executor: do not store task IDs in RAM, we can get it from the pointer every time.
Diffstat (limited to 'embassy-executor/src/lib.rs')
0 files changed, 0 insertions, 0 deletions