Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use consume_iter() instead of iter().transform(|&x| x) #654

Merged
merged 1 commit into from Jul 31, 2013

Conversation

@tikue
Copy link

tikue commented Jul 31, 2013

Fixes #653.
r? @metajack

@metajack

This comment has been minimized.

Copy link

metajack commented on c3d19c5 Jul 31, 2013

r+

@bors-servo

This comment has been minimized.

Copy link
Contributor

bors-servo commented on c3d19c5 Jul 31, 2013

saw approval from metajack
at tikue@c3d19c5

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jul 31, 2013

merging tkuehn/servo/master = c3d19c5 into auto

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jul 31, 2013

tkuehn/servo/master = c3d19c5 merged ok, testing candidate = 288eee0

This comment has been minimized.

Copy link
Contributor

bors-servo replied Jul 31, 2013

fast-forwarding master to auto = 288eee0

bors-servo pushed a commit that referenced this pull request Jul 31, 2013
@bors-servo bors-servo merged commit c3d19c5 into servo:master Jul 31, 2013
1 check passed
1 check passed
default all tests passed
glennw pushed a commit to glennw/servo that referenced this pull request Jan 16, 2017
Fixed shader compile error in cs_clip_image VS

That's something I found while looking for the cause of servo#654
Doesn't look like it would fix it, but it would be great to have another try on Android after this PR is merged (cc @mmatyas ).

r? @glennw

<!-- 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/681)
<!-- Reviewable:end -->
@jdm jdm mentioned this pull request Nov 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

3 participants
You can’t perform that action at this time.