Skip to content

Conversation

@kvark
Copy link
Member

@kvark kvark commented Jan 30, 2017

Fixes #805
r? @glennw @vvuk


This change is Reviewable

@jrmuizel
Copy link
Collaborator

It seems like some android changes got mixed in here.

@glennw
Copy link
Member

glennw commented Jan 30, 2017

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 2334a7f has been approved by glennw

@glennw
Copy link
Member

glennw commented Jan 30, 2017

Thanks!

@bors-servo
Copy link
Contributor

⌛ Testing commit 2334a7f with merge 201630c...

bors-servo pushed a commit that referenced this pull request Jan 30, 2017
Fix for the wrench's percentile function

Fixes #805
r? @glennw @vvuk

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/webrender/807)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

☀️ Test successful - status-travis

@bors-servo bors-servo merged commit 2334a7f into servo:master Jan 31, 2017
@kvark kvark deleted the percentile branch July 10, 2017 14:26
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