diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2022-08-22 20:18:40 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2022-08-22 20:18:40 +0000 |
| commit | cb9f0ef5b800ce4a22cde1805e0eb88425f1e07b (patch) | |
| tree | 0c7425dae57acb94cb6ddca27def7e77609369b3 /embassy-executor/src/arch/std.rs | |
| parent | 61356181b223e95f289ca3af3a038a699cde2112 (diff) | |
| parent | 5677b13a86beca58aa57ecfd7cea0db7ceb189fa (diff) | |
Merge #922
922: split `embassy-util` into `embassy-futures`, `embassy-sync`. r=Dirbaio a=Dirbaio
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'embassy-executor/src/arch/std.rs')
0 files changed, 0 insertions, 0 deletions
