Skip to content

Bump html5ever to 0.5.5#13801

Merged
bors-servo merged 1 commit intoservo:masterfrom
nox:h5e
Oct 17, 2016
Merged

Bump html5ever to 0.5.5#13801
bors-servo merged 1 commit intoservo:masterfrom
nox:h5e

Conversation

@nox
Copy link
Copy Markdown
Contributor

@nox nox commented Oct 17, 2016

This change is Reviewable

@highfive
Copy link
Copy Markdown

Heads up! This PR modifies the following files:

  • @fitzgen: components/script/dom/servoparser/html.rs
  • @KiChjang: components/script/dom/servoparser/html.rs

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Oct 17, 2016
@highfive
Copy link
Copy Markdown

warning Warning warning

  • These commits modify script code, but no tests are modified. Please consider adding a test!

@jdm
Copy link
Copy Markdown
Member

jdm commented Oct 17, 2016

@bors-servo: r+

@bors-servo
Copy link
Copy Markdown
Contributor

📌 Commit b6d6b3b has been approved by jdm

@highfive highfive assigned jdm and unassigned pcwalton Oct 17, 2016
@highfive highfive added S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. and removed S-awaiting-review There is new code that needs to be reviewed. labels Oct 17, 2016
@bors-servo
Copy link
Copy Markdown
Contributor

⌛ Testing commit b6d6b3b with merge cbe2f7e...

bors-servo pushed a commit that referenced this pull request Oct 17, 2016
@bors-servo
Copy link
Copy Markdown
Contributor

@bors-servo bors-servo merged commit b6d6b3b into servo:master Oct 17, 2016
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Oct 17, 2016
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.

5 participants