Skip to content

Conversation

jackh726
Copy link
Member

I'm probably going to just merge this once CI is green since master is currently failing and this is a super straightforward PR.

@jackh726 jackh726 merged commit 80c17b8 into rust-lang:master May 23, 2020
@jackh726 jackh726 deleted the rust_ir_fix branch May 23, 2020 19:07
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.

1 participant