Skip to content

Add names used by the HTMLTrackElement#361

Merged
bors-servo merged 1 commit into
servo:masterfrom
dlrobertson:add_track_names
Dec 13, 2018
Merged

Add names used by the HTMLTrackElement#361
bors-servo merged 1 commit into
servo:masterfrom
dlrobertson:add_track_names

Conversation

@dlrobertson

Copy link
Copy Markdown
Contributor

Add kind and srclang to the list of local_names. They are needed
by the HTMLTrackElement.

@jdm jdm left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please update the markup5ever crate version as well!

@dlrobertson

Copy link
Copy Markdown
Contributor Author

👍 bumped to 0.7.5.

@jdm

jdm commented Dec 12, 2018

Copy link
Copy Markdown
Member

@bors-servo r+

@bors-servo

Copy link
Copy Markdown
Contributor

📌 Commit d358a47 has been approved by jdm

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit d358a47 with merge 0edb8b7...

bors-servo pushed a commit that referenced this pull request Dec 12, 2018
Add names used by the HTMLTrackElement

Add `kind` and `srclang` to the list of `local_names`. They are needed
by the HTMLTrackElement.
@bors-servo

Copy link
Copy Markdown
Contributor

💥 Test timed out

@ferjm

ferjm commented Dec 13, 2018

Copy link
Copy Markdown

@bors-servo retry

@bors-servo

Copy link
Copy Markdown
Contributor

⌛ Testing commit d358a47 with merge d501238...

bors-servo pushed a commit that referenced this pull request Dec 13, 2018
Add names used by the HTMLTrackElement

Add `kind` and `srclang` to the list of `local_names`. They are needed
by the HTMLTrackElement.
@bors-servo

Copy link
Copy Markdown
Contributor

☀️ Test successful - status-travis
Approved by: jdm
Pushing d501238 to master...

@bors-servo bors-servo merged commit d358a47 into servo:master Dec 13, 2018
@dlrobertson dlrobertson deleted the add_track_names branch December 13, 2018 13:17
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