Skip to content

/ webxr

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

Fix magicleap build #64

Merged
merged 1 commit into from Oct 1, 2019
Merged

Fix magicleap build #64

merged 1 commit into from Oct 1, 2019

Conversation

@paulrouget
Copy link
Contributor

paulrouget commented Oct 1, 2019

I broke magicleap.
@paulrouget
Fix magicleap build
Loading status checks…
08dcf68
@paulrouget paulrouget mentioned this pull request Oct 1, 2019
Merged
@paulrouget
Copy link
Contributor Author

paulrouget commented Oct 1, 2019

@bors-servo r+
@bors-servo
Copy link
Contributor

bors-servo commented Oct 1, 2019

📌 Commit 08dcf68 has been approved by paulrouget
@bors-servo
Copy link
Contributor

bors-servo commented Oct 1, 2019

⌛ Testing commit 08dcf68 with merge 72d85b8...
bors-servo added a commit that referenced this pull request Oct 1, 2019
@bors-servo
Auto merge of #64 - paulrouget:fixml, r=paulrouget
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
Loading status checks…
72d85b8 
Fix magicleap build

I broke magicleap.
@bors-servo
Copy link
Contributor

bors-servo commented Oct 1, 2019

☀️ Test successful - checks-travis
Approved by: paulrouget
Pushing 72d85b8 to master...
@bors-servo bors-servo merged commit 08dcf68 into servo:master Oct 1, 2019
3 checks passed
3 checks passed
Travis CI - Pull Request Build Passed
Details
continuous-integration/travis-ci/pr 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
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@paulrouget @bors-servo
You can’t perform that action at this time.