Skip to content

Conversation

@weiznich
Copy link
Member

@weiznich weiznich commented Nov 7, 2018

As @oli-obk pointed out in rust-lang/rust#54524 this link was broken

@weiznich weiznich requested a review from a team November 7, 2018 15:58
@weiznich weiznich added this to the 1.4 milestone Nov 16, 2018
@weiznich
Copy link
Member Author

Picked to #1889

@weiznich weiznich closed this Dec 11, 2018
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