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

Remove issue-94378 as duplicate #1292

Merged
merged 1 commit into from
Jun 8, 2022
Merged

Conversation

JohnTitor
Copy link
Member

@JohnTitor JohnTitor commented Jun 8, 2022

It's a duplicate of rust-lang/rust#67498
Closes #1286

@Alexendoo Alexendoo merged commit b5134dd into rust-lang:master Jun 8, 2022
@JohnTitor JohnTitor deleted the remove-94378 branch June 8, 2022 11:23
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