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

Add ICE from 86033 #764

Merged
merged 1 commit into from
Jun 6, 2021
Merged

Add ICE from 86033 #764

merged 1 commit into from
Jun 6, 2021

Conversation

iliakonnov
Copy link
Contributor

@JohnTitor JohnTitor merged commit 72f62e8 into rust-lang:master Jun 6, 2021
@JohnTitor
Copy link
Member

Thanks!

@iliakonnov iliakonnov deleted the ice-86033 branch June 6, 2021 12:12
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants