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

Remove issue-61188 #177

Merged
merged 1 commit into from Oct 18, 2019
Merged

Remove issue-61188 #177

merged 1 commit into from Oct 18, 2019

Conversation

JohnTitor
Copy link
Member

rust-lang/rust#61188 is closed in favor of rust-lang/rust#65466. In fact, 61188-1.rs is the same as 65466.rs. But the former issue's snippets aren't fixed so it doesn't seem reasonable to move them to /fixed. For testing snippets with other tools, it's enough to have 65466.rs, I think.

@Dylan-DPC-zz Dylan-DPC-zz merged commit 758a06d into rust-lang:master Oct 18, 2019
@JohnTitor JohnTitor deleted the remove-61188 branch October 18, 2019 14:39
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.

None yet

2 participants