Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented Feb 8, 2019

Waiting for rust-lang/rust#58301 to land

Fixes #614

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Feb 8, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Feb 10, 2019

r=me once the rustc PR has been merged and travis passes

@RalfJung RalfJung merged commit 526b8ae into rust-lang:master Feb 15, 2019
@RalfJung RalfJung deleted the fat-ptr-eq branch February 15, 2019 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants