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

A couple of GPU clipping performance improvements #132

Merged
merged 2 commits into from Jan 8, 2016

Conversation

@pcwalton
Copy link
Collaborator

pcwalton commented Jan 8, 2016

Builds on #131.

glennw added a commit that referenced this pull request Jan 8, 2016
A couple of GPU clipping performance improvements
@glennw glennw merged commit 7ea6a1d into servo:gpu-clip Jan 8, 2016
@samlh
Copy link

samlh commented Jan 8, 2016

It looks like this didn't make it into master:

  1. Merged glennw:gpu-clip -> glennw:master
  2. Merged pcwalton:gpu-clip-fixes -> glennw:gpu-clip

i.e. Needs another merge glennw:gpu-clip -> glennw:master

@glennw
Copy link
Member

glennw commented Jan 10, 2016

@samlh Oops, thanks for picking this up! I've cherry-picked those two commits and pushed them to master.

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.

None yet

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