diff options
| author | Dario Nieuwenhuis <[email protected]> | 2024-12-16 14:46:08 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-12-16 14:46:08 +0000 |
| commit | 47e96beff4fc4c8dff8bf6d6a67e1d2e81c40495 (patch) | |
| tree | bee175817d7dc3119c5533bd78069cd6ce0a7f44 /embassy-executor/src/spawner.rs | |
| parent | 2c3bc75da6008afa7cacc1045954cef7e3d8740f (diff) | |
| parent | f389ba37219d842d7db0ab94cd421c69645a5757 (diff) | |
Merge pull request #3644 from bugadani/lock_once
Only lock once to wake a task
Diffstat (limited to 'embassy-executor/src/spawner.rs')
0 files changed, 0 insertions, 0 deletions