Skip to content

Conversation

mark-i-m
Copy link
Contributor

cc rust-lang/rust#65324

r? @Centril or @petrochenkov

This fixes some links.

@Centril
Copy link
Contributor

Centril commented Nov 11, 2019

Looks good :)

@mark-i-m
Copy link
Contributor Author

@Centril could you use the github approve feature. That would unblock github from merging the PR. Thanks :)

@Centril
Copy link
Contributor

Centril commented Nov 12, 2019

@mark-i-m guess not? ;)

@JohnTitor
Copy link
Member

approved behalf of @Centril

@mark-i-m mark-i-m merged commit 934380b into rust-lang:master Nov 12, 2019
@mark-i-m mark-i-m deleted the fix-parser branch March 7, 2020 20:36
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.

3 participants