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

Change floor transform #11

Merged
merged 2 commits into from
Jul 10, 2019
Merged

Change floor transform #11

merged 2 commits into from
Jul 10, 2019

Conversation

Manishearth
Copy link
Member

No description provided.

@asajeffrey
Copy link
Member

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 9d9ea31 has been approved by asajeffrey

@bors-servo
Copy link
Contributor

⌛ Testing commit 9d9ea31 with merge e9d2347...

bors-servo pushed a commit that referenced this pull request Jul 10, 2019
Change floor transform

None
@bors-servo
Copy link
Contributor

💔 Test failed - checks-travis

@Manishearth
Copy link
Member Author

@bors-servo r=asajeffrey

@bors-servo
Copy link
Contributor

📌 Commit a515051 has been approved by asajeffrey

bors-servo pushed a commit that referenced this pull request Jul 10, 2019
Change floor transform

None
@bors-servo
Copy link
Contributor

⌛ Testing commit a515051 with merge d16b3f8...

@bors-servo
Copy link
Contributor

☀️ Test successful - checks-travis
Approved by: asajeffrey
Pushing d16b3f8 to master...

@bors-servo bors-servo merged commit a515051 into master Jul 10, 2019
@Manishearth Manishearth deleted the fixes branch July 10, 2019 19:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants