diff options
| author | pennae <[email protected]> | 2023-05-02 07:40:12 +0200 |
|---|---|---|
| committer | pennae <[email protected]> | 2023-05-02 07:40:12 +0200 |
| commit | 3c31236c1050f98c870ec03b98bc746e6e2ab1b5 (patch) | |
| tree | 56932f72d519383cf8a2dc053ec091b34ed5d4e5 /embassy-sync/src/waitqueue | |
| parent | 05c36e05f9f6b1a0a36982239b2e7c697f0d3734 (diff) | |
rp: remove leftovers from #1414
forgot to remove these when they were no longer necessary or useful. oops.
Diffstat (limited to 'embassy-sync/src/waitqueue')
0 files changed, 0 insertions, 0 deletions