Skip to content

Conversation

@taiki-e
Copy link
Member

@taiki-e taiki-e commented May 12, 2021

Poll has already been re-exported in the public API, so this module is not needed.

@taiki-e taiki-e merged commit 1759a7f into master May 12, 2021
@taiki-e taiki-e deleted the core-priv branch May 12, 2021 13:07
taiki-e added a commit that referenced this pull request Jul 23, 2021
@taiki-e taiki-e mentioned this pull request Jul 23, 2021
taiki-e added a commit that referenced this pull request Jul 23, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants