Skip to content

Conversation

@jdm
Copy link
Member

@jdm jdm commented Mar 11, 2019

Fixes #365.

@jdm
Copy link
Member Author

jdm commented Mar 11, 2019

r? @asajeffrey

@Ygg01
Copy link
Contributor

Ygg01 commented Mar 29, 2019

@jdm do you need this merged?

@jdm
Copy link
Member Author

jdm commented Mar 29, 2019

Yep.

@Ygg01
Copy link
Contributor

Ygg01 commented Mar 29, 2019

Let me see if incantations are correct: @bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 65c3f6f has been approved by Ygg01

@bors-servo
Copy link
Contributor

⌛ Testing commit 65c3f6f with merge 1f0442a...

bors-servo pushed a commit that referenced this pull request Mar 29, 2019
Add licenses to all crates.

Fixes #365.
@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: Ygg01
Pushing 1f0442a to master...

@bors-servo bors-servo merged commit 65c3f6f into master Mar 29, 2019
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.

4 participants