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

add 5 ices #1402

Merged
merged 1 commit into from
Aug 28, 2022
Merged

add 5 ices #1402

merged 1 commit into from
Aug 28, 2022

Conversation

matthiaskrgr
Copy link
Member

Copy link
Member

@Alexendoo Alexendoo left a comment

Choose a reason for hiding this comment

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

🧊

@Alexendoo Alexendoo merged commit 0d8d104 into rust-lang:master Aug 28, 2022
# for free to subscribe to this conversation on GitHub. Already have an account? #.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants