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

ICE - rust-lang/rust#80779 #610

Merged
merged 2 commits into from
Jan 11, 2021
Merged

Conversation

rustbot
Copy link
Contributor

@rustbot rustbot commented Jan 11, 2021

Automatically created by @JohnTitor in issue rust-lang/rust#80779

@JohnTitor JohnTitor merged commit 0775dea into rust-lang:master Jan 11, 2021
@JohnTitor
Copy link
Member

It'd be great if we could clean-up merged/closed branches.

# 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