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 orphaned files and fix typo #10041

Merged
merged 2 commits into from Jan 10, 2020
Merged

Remove orphaned files and fix typo #10041

merged 2 commits into from Jan 10, 2020

Conversation

@philandstuff
Copy link
Member

philandstuff commented Jan 10, 2020

Two completely unrelated commits, sorry

Remove some orphaned files and fix a typo. More details in commit messages.

The last reference to these files were removed in
2b0fedc so we can delete them.
🚮
Just a typo
@issyl0
issyl0 approved these changes Jan 10, 2020
Copy link
Member

issyl0 left a comment

Good 👀

@philandstuff philandstuff merged commit 8a11267 into master Jan 10, 2020
1 check passed
1 check passed
continuous-integration/jenkins/branch This commit looks good
Details
@philandstuff philandstuff deleted the remove-orphaned-file branch Jan 10, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.