Closed
Description
See extmod/modasyncio.c.
Remove push_head, push_sorted, and pop_head.
Also remove from asyncio library, if safe to do so.
{{ message }}
No type
No projects
None yet
No branches or pull requests
See extmod/modasyncio.c.
Remove push_head, push_sorted, and pop_head.
Also remove from asyncio library, if safe to do so.