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

Add craft.ai to Friends #571

Merged
merged 1 commit into from
Oct 10, 2016
Merged

Add craft.ai to Friends #571

merged 1 commit into from
Oct 10, 2016

Conversation

steveklabnik
Copy link
Member

Fixes #570

@rust-highfive
Copy link

r? @aturon

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

@aturon aturon merged commit 58eae06 into rust-lang:master Oct 10, 2016
@aturon
Copy link
Member

aturon commented Oct 10, 2016

Yay!

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.

3 participants