Skip to content

Point at local similarly named element and tweak references to variants#65421

Merged
bors merged 1 commit intorust-lang:masterfrom
estebank:variants
Oct 28, 2019
Merged

Point at local similarly named element and tweak references to variants#65421
bors merged 1 commit intorust-lang:masterfrom
estebank:variants

Conversation

@estebank
Copy link
Copy Markdown
Contributor

Partially address #65386.

Loading
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants