Skip to content
This repository was archived by the owner on Sep 30, 2020. It is now read-only.

Update with new friends, as well as some changes for an existing one. #943

Merged
merged 1 commit into from
Oct 5, 2017

Conversation

steveklabnik
Copy link
Member

Fixes #938
Fixes #940
Fixes #942

@alexcrichton alexcrichton merged commit ddfa63d into master Oct 5, 2017
@alexcrichton
Copy link
Member

👍

@alexcrichton alexcrichton deleted the update-friends branch October 5, 2017 18:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants