Skip to content

Conversation

jackh726
Copy link
Member

@jackh726 jackh726 commented Jul 8, 2020

@jackh726 jackh726 requested a review from a team July 8, 2020 16:34
@jackh726 jackh726 requested a review from a team as a code owner July 8, 2020 16:34
@rust-highfive
Copy link

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@XAMPPRocky
Copy link
Contributor

@jackh726 Does this need further review before publishing? If not I can update the date and merge it.

@jackh726
Copy link
Member Author

@XAMPPRocky I don't think so. It's already had a couple eyes on it. So, just the date needs updating.

@XAMPPRocky
Copy link
Contributor

@jackh726 Okay, I'll update and publish it tomorrow as the new stable release is today.

@nikomatsakis
Copy link
Contributor

Looks good to me, sorry for being slow on feedback.

@nikomatsakis nikomatsakis merged commit 8a95a86 into rust-lang:master Jul 17, 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.

4 participants