diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2023-03-05 22:15:14 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-03-05 22:15:14 +0000 |
| commit | 403a83e08da67ebb20d04b1675a34c12752a94fc (patch) | |
| tree | 3e0face57cef071a5bd66019680fabf27aa0359e /embassy-macros | |
| parent | 6dfda69cc45dfc259ee03f25342c729a3f3315c8 (diff) | |
| parent | c88bbaa5ecc340e14fd540e3025a8635456e5405 (diff) | |
Merge #1260
1260: time/ticker: make sure the future for .next() is Unpin. r=Dirbaio a=Dirbaio
It was Unpin before #1248
bors r+
Co-authored-by: Dario Nieuwenhuis <[email protected]>
Diffstat (limited to 'embassy-macros')
0 files changed, 0 insertions, 0 deletions