Skip to content
This repository has been archived by the owner on Dec 14, 2023. It is now read-only.

Update serde_bytes and bump version #31

Merged
merged 1 commit into from Oct 11, 2019
Merged

Conversation

Eijebong
Copy link
Contributor

No description provided.

@nox
Copy link
Contributor

nox commented Oct 11, 2019

@bors-servo r+

@bors-servo
Copy link
Collaborator

📌 Commit 257853b has been approved by nox

@bors-servo
Copy link
Collaborator

⌛ Testing commit 257853b with merge 0138aa6...

bors-servo pushed a commit that referenced this pull request Oct 11, 2019
Update serde_bytes and bump version
@nox nox mentioned this pull request Oct 11, 2019
@nox
Copy link
Contributor

nox commented Oct 11, 2019

@bors-servo r-

@nox
Copy link
Contributor

nox commented Oct 11, 2019

@bors-servo r+

@bors-servo
Copy link
Collaborator

📌 Commit 31a9cee has been approved by nox

@bors-servo
Copy link
Collaborator

⌛ Testing commit 31a9cee with merge 92a6b79...

bors-servo pushed a commit that referenced this pull request Oct 11, 2019
Update serde_bytes and bump version
@bors-servo
Copy link
Collaborator

☀️ Test successful - checks-travis
Approved by: nox
Pushing 92a6b79 to master...

@bors-servo bors-servo merged commit 31a9cee into servo:master Oct 11, 2019
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.

None yet

3 participants