Skip to content
This repository has been archived by the owner on May 6, 2020. It is now read-only.

Update for rust-lang/rust#33041 #40

Closed
wants to merge 1 commit into from
Closed

Update for rust-lang/rust#33041 #40

wants to merge 1 commit into from

Conversation

ivan
Copy link

@ivan ivan commented May 1, 2016

@ivan
Copy link
Author

ivan commented May 1, 2016

Hold off for now because I guess the latest nightly does not yet include this change.

@ivan
Copy link
Author

ivan commented May 2, 2016

See #41 instead

@ivan ivan closed this May 2, 2016
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant