diff options
| author | Ulf Lilleengen <[email protected]> | 2025-03-19 08:46:13 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-03-19 08:46:13 +0100 |
| commit | 8987bf201a401b252397312526bcb270c9b81f3a (patch) | |
| tree | d33af33b92d7052a906eba64173c5a15435b4796 /embassy-sync/src/waitqueue/mod.rs | |
| parent | 9d672c44d1dccaac039c656bc2986c4fcf9823c9 (diff) | |
| parent | e3b0581a876069fde325c82a14efc23f7cd6ad81 (diff) | |
Merge pull request #3969 from Murmele/task-id
Add possibility to get the id of a task to be able to use it with rtos-trace
Diffstat (limited to 'embassy-sync/src/waitqueue/mod.rs')
0 files changed, 0 insertions, 0 deletions