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

Remove empty 'media' submodule #235

Merged
merged 1 commit into from Apr 5, 2019

Conversation

Projects
None yet
3 participants
@ferjm
Copy link
Member

commented Apr 5, 2019

#230 introduced an empty media submodule. I assume this was accidental and it is not needed, so I am deleting it.

@ferjm

This comment has been minimized.

Copy link
Member Author

commented Apr 5, 2019

@Manishearth

This comment has been minimized.

Copy link
Member

commented Apr 5, 2019

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Apr 5, 2019

📌 Commit e2b649a has been approved by Manishearth

bors-servo added a commit that referenced this pull request Apr 5, 2019

Auto merge of #235 - ferjm:rm.media.submodule, r=Manishearth
Remove empty 'media' submodule

#230 introduced an empty `media` submodule. I assume this was accidental and it is not needed, so I am deleting it.
@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Apr 5, 2019

⌛️ Testing commit e2b649a with merge 60eb011...

@bors-servo

This comment has been minimized.

Copy link
Contributor

commented Apr 5, 2019

☀️ Test successful - checks-travis
Approved by: Manishearth
Pushing 60eb011 to master...

@bors-servo bors-servo merged commit e2b649a into servo:master Apr 5, 2019

2 checks passed

Travis CI - Pull Request 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
You can’t perform that action at this time.