Skip to content

Conversation

f-bro
Copy link
Contributor

@f-bro f-bro commented Aug 3, 2017

Relevant PR: rust-lang/rust#42727

(Hopefully this time without spelling mistakes in the commit message)

@japaric
Copy link
Member

japaric commented Aug 4, 2017

Thanks @f-bro. (Sorry that I didn't see the other PR.)

@japaric japaric merged commit ae3d831 into rust-embedded:master Aug 4, 2017
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