Skip to content

Update to latest pinning API #1265

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
Thomasdezeeuw opened this issue Sep 20, 2018 · 2 comments
Closed

Update to latest pinning API #1265

Thomasdezeeuw opened this issue Sep 20, 2018 · 2 comments

Comments

@Thomasdezeeuw
Copy link
Contributor

PR rust-lang/rust#53877 change the pinning API, breaking futures as well. Is someone working on fixing this? Or should I make an attempt?
@Thomasdezeeuw Thomasdezeeuw mentioned this issue Sep 20, 2018
Closed
@cramertj
Copy link
Member

I was planning to wait on this until rust-lang/rust#54339 landed, which includes more breaking changes.

@Pauan Pauan mentioned this issue Sep 27, 2018
Merged
@JesseWright
Copy link

@cramertj I believe this can be closed now that #1268 and #1273 have been merged and #1266 closed.

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Thomasdezeeuw @cramertj @JesseWright