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

Add SmartThings to friends page #674

Merged
merged 1 commit into from
Jan 6, 2017
Merged

Add SmartThings to friends page #674

merged 1 commit into from
Jan 6, 2017

Conversation

nastevens
Copy link
Contributor

This adds SmartThings to the "Friends of Rust" page. I will send contact information to the rust-logos email address.

@rust-highfive
Copy link

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @alexcrichton (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. Due to the way GitHub handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

@nastevens
Copy link
Contributor Author

It appears that rust-logos@rust-lang.org is dead - is there an alternate email I can send contact info to?

@steveklabnik steveklabnik merged commit 93836ee into rust-lang:master Jan 6, 2017
@steveklabnik
Copy link
Member

Great, thank you!

It appears that rust-logos@rust-lang.org is dead - is there an alternate email I can send contact info to?

Uh oh, seems bad. @brson any ideas?

@nastevens
Copy link
Contributor Author

@steveklabnik I can just send to your linked profile email for now, if that works.

@brson
Copy link
Contributor

brson commented Jan 6, 2017

@nastevens The correct address is user-logos@rust-lang.org. Sorry for the inconvenience.

@nastevens
Copy link
Contributor Author

The correct address is user-logos@rust-lang.org. Sorry for the inconvenience.

No problem - just opened #675 so others aren't tripped up

@nastevens nastevens deleted the add-smartthings-friend branch January 6, 2017 19:59
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.

5 participants