diff options
| author | James Munns <[email protected]> | 2025-04-04 11:45:13 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-04 11:45:13 +0000 |
| commit | 61b77624219eac1b5e74bdeeb64f5c38df997a93 (patch) | |
| tree | bbe9ef5e9e67a4a1a275becc418bb19b0e1f6333 /embassy-executor/src | |
| parent | 99536219a3d83f53c32c37ff92175e278000221a (diff) | |
| parent | 72832c1550201dba4629ee861b84143502465064 (diff) | |
Merge pull request #4043 from embassy-rs/james/wake-race
embassy-rp: defensive change to ensure wakers are registered
Diffstat (limited to 'embassy-executor/src')
0 files changed, 0 insertions, 0 deletions