Skip to content

Comments

Add title to player metadata#317

Merged
bors-servo merged 1 commit intoservo:masterfrom
ferjm:metadata
Oct 8, 2019
Merged

Add title to player metadata#317
bors-servo merged 1 commit intoservo:masterfrom
ferjm:metadata

Conversation

@ferjm
Copy link
Contributor

@ferjm ferjm commented Oct 8, 2019

This is required for servo/servo#24172

@ferjm
Copy link
Contributor Author

ferjm commented Oct 8, 2019

r? @ceyusa

@ceyusa
Copy link
Contributor

ceyusa commented Oct 8, 2019

lgtm

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 77886ef has been approved by ceyusa

@bors-servo
Copy link
Contributor

⌛ Testing commit 77886ef with merge 2f14be0...

bors-servo pushed a commit that referenced this pull request Oct 8, 2019
Add title to player metadata

This is required for servo/servo#24172
@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: ceyusa
Pushing 2f14be0 to master...

@bors-servo bors-servo merged commit 77886ef into servo:master Oct 8, 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.

3 participants