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

Update for surfman surfaceless changes #82

Merged
merged 1 commit into from Nov 5, 2019
Merged

Update for surfman surfaceless changes #82

merged 1 commit into from Nov 5, 2019

Conversation

@pcwalton
Copy link
Contributor

pcwalton commented Nov 5, 2019

No description provided.

@pcwalton pcwalton mentioned this pull request Nov 5, 2019
0 of 5 tasks complete
@pcwalton pcwalton force-pushed the surfmanup branch from 8b7cecc to 05d0a98 Nov 5, 2019
@Manishearth
Copy link
Member

Manishearth commented Nov 5, 2019

@bors-servo
Copy link
Contributor

bors-servo commented Nov 5, 2019

📌 Commit 05d0a98 has been approved by Manishearth

@bors-servo
Copy link
Contributor

bors-servo commented Nov 5, 2019

Testing commit 05d0a98 with merge 11a12f6...

bors-servo added a commit that referenced this pull request Nov 5, 2019
Update for surfman surfaceless changes
@bors-servo
Copy link
Contributor

bors-servo commented Nov 5, 2019

☀️ Test successful - checks-travis
Approved by: Manishearth
Pushing 11a12f6 to master...

@bors-servo bors-servo merged commit 05d0a98 into master Nov 5, 2019
5 checks passed
5 checks passed
Travis CI - Branch Build Passed
Details
Travis CI - Pull Request Build Passed
Details
continuous-integration/travis-ci/pr The Travis CI build passed
Details
continuous-integration/travis-ci/push The Travis CI build passed
Details
homu Test successful
Details
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.