Skip to content

backport rust-lang/rust changes #140

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 6 commits into from
Feb 7, 2017
Merged

backport rust-lang/rust changes #140

merged 6 commits into from
Feb 7, 2017

Conversation

japaric
Copy link
Member

@japaric japaric commented Feb 6, 2017

this mainly removes a bunch of unused intrinsics

r? @alexcrichton

@alexcrichton
Copy link
Member

@bors: r+

@bors
Copy link
Contributor

bors commented Feb 6, 2017

📌 Commit f7bd48e has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Feb 6, 2017

⌛ Testing commit f7bd48e with merge 3e8aa49...

bors added a commit that referenced this pull request Feb 6, 2017
backport rust-lang/rust changes

this mainly removes a bunch of unused intrinsics

r? @alexcrichton
@bors
Copy link
Contributor

bors commented Feb 7, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: alexcrichton
Pushing 3e8aa49 to master...

@bors bors merged commit f7bd48e into master Feb 7, 2017
@tgross35 tgross35 deleted the backports branch April 20, 2025 08:44
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.

3 participants