Skip to content

Conversation

nikomatsakis
Copy link
Contributor

cc @rust-lang/lang

@nikomatsakis nikomatsakis requested a review from a team July 6, 2020 21:02
@nikomatsakis nikomatsakis requested a review from a team as a code owner July 6, 2020 21:02
@rust-highfive
Copy link

@nikomatsakis: no appropriate reviewer found, use r? to override

Copy link
Member

@nrc nrc left a comment

Choose a reason for hiding this comment

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

lgtm; two possibly missing links

@nikomatsakis nikomatsakis merged commit 8da535d into rust-lang:master Jul 8, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants