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