Skip to content

Remove stage0 workarounds - #720

Merged
gnzlbg merged 1 commit into
rust-lang:masterfrom
mati865:bootstrap-update
Apr 17, 2019
Merged

Remove stage0 workarounds#720
gnzlbg merged 1 commit into
rust-lang:masterfrom
mati865:bootstrap-update

Conversation

@mati865

Copy link
Copy Markdown
Member

Probably this should wait for rust-lang/rust#59974

@gnzlbggnzlbg closed this Apr 17, 2019
@gnzlbggnzlbg reopened this Apr 17, 2019
@gnzlbg
gnzlbg merged commit 93efb62 into rust-lang:masterApr 17, 2019
@mati865
mati865 deleted the bootstrap-update branch April 17, 2019 12:54
Sign up for freeto 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

@mati865@gnzlbg