Skip to content

Update js.#15041

Merged
bors-servo merged 1 commit intomasterfrom
update-js
Jan 16, 2017
Merged

Update js.#15041
bors-servo merged 1 commit intomasterfrom
update-js

Conversation

@Ms2ger
Copy link
Copy Markdown
Contributor

@Ms2ger Ms2ger commented Jan 16, 2017

This change is Reviewable

@highfive highfive added the S-awaiting-review There is new code that needs to be reviewed. label Jan 16, 2017
@emilio
Copy link
Copy Markdown
Member

emilio commented Jan 16, 2017

@bors-servo r+

@bors-servo
Copy link
Copy Markdown
Contributor

📌 Commit ebb9b5c has been approved by emilio

@highfive highfive assigned emilio and unassigned asajeffrey Jan 16, 2017
@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 Jan 16, 2017
@bors-servo
Copy link
Copy Markdown
Contributor

⌛ Testing commit ebb9b5c with merge 9cd1b86...

bors-servo pushed a commit that referenced this pull request Jan 16, 2017
@bors-servo
Copy link
Copy Markdown
Contributor

@bors-servo bors-servo merged commit ebb9b5c into master Jan 16, 2017
@highfive highfive removed the S-awaiting-merge The PR is in the process of compiling and running tests on the automated CI. label Jan 16, 2017
@Ms2ger Ms2ger deleted the update-js branch January 16, 2017 15:38
@jdm jdm mentioned this pull request Jan 17, 2017
5 tasks
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