Skip to content
This repository was archived by the owner on May 23, 2024. It is now read-only.

Add ICE 78246 #516

Merged
merged 1 commit into from
Oct 23, 2020
Merged

Add ICE 78246 #516

merged 1 commit into from
Oct 23, 2020

Conversation

oliviacrain
Copy link
Contributor

JohnTitor
JohnTitor approved these changes Oct 23, 2020
View reviewed changes
Copy link
Member

@JohnTitor JohnTitor left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@JohnTitor JohnTitor merged commit 2d15013 into rust-lang:master Oct 23, 2020
@oliviacrain oliviacrain deleted the crunchy-ice branch October 23, 2020 23:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@JohnTitor JohnTitor JohnTitor approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@oliviacrain @JohnTitor