Skip to content

Conversation

lqd
Copy link
Member

@lqd lqd commented Mar 8, 2019

A couple links and typo fixes, and an appearance in the Big Table™

@nikomatsakis nikomatsakis merged commit 71f4997 into rust-lang:master Apr 18, 2019
@lqd lqd deleted the more_polonius branch April 18, 2019 18:52
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.

2 participants