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

Port Clear primitives to be interned. #3271

Merged
merged 1 commit into from Nov 5, 2018

Conversation

Projects
None yet
3 participants
@gw3583
Collaborator

gw3583 commented Nov 5, 2018

This should be a straightforward conversion, since these primitives
don't use segments.


This change is Reviewable

Port Clear primitives to be interned.
This should be a straightforward conversion, since these primitives
don't use segments.
@gw3583

This comment has been minimized.

Collaborator

gw3583 commented Nov 5, 2018

r? anyone

@nical

This comment has been minimized.

Collaborator

nical commented Nov 5, 2018

@bors-servo

This comment has been minimized.

Contributor

bors-servo commented Nov 5, 2018

📌 Commit 7e28c04 has been approved by nical

@bors-servo

This comment has been minimized.

Contributor

bors-servo commented Nov 5, 2018

⌛️ Testing commit 7e28c04 with merge 1f8f5ba...

bors-servo added a commit that referenced this pull request Nov 5, 2018

Auto merge of #3271 - gw3583:intern-clear, r=nical
Port Clear primitives to be interned.

This should be a straightforward conversion, since these primitives
don't use segments.

<!-- 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/3271)
<!-- Reviewable:end -->
@bors-servo

This comment has been minimized.

Contributor

bors-servo commented Nov 5, 2018

💔 Test failed - status-taskcluster

@gw3583

This comment has been minimized.

Collaborator

gw3583 commented Nov 5, 2018

@bors-servo retry

@bors-servo

This comment has been minimized.

Contributor

bors-servo commented Nov 5, 2018

⌛️ Testing commit 7e28c04 with merge fc7ac7b...

bors-servo added a commit that referenced this pull request Nov 5, 2018

Auto merge of #3271 - gw3583:intern-clear, r=nical
Port Clear primitives to be interned.

This should be a straightforward conversion, since these primitives
don't use segments.

<!-- 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/3271)
<!-- Reviewable:end -->
@bors-servo

This comment has been minimized.

Contributor

bors-servo commented Nov 5, 2018

☀️ Test successful - status-appveyor, status-taskcluster
Approved by: nical
Pushing fc7ac7b to master...

@bors-servo bors-servo merged commit 7e28c04 into servo:master Nov 5, 2018

3 checks passed

Taskcluster (pull_request) TaskGroup: success
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
homu Test successful
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment