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

Jump to bottom

Rename patent file #38686

Merged
merged 1 commit into from Aug 16, 2019
Merged

Rename patent file #38686

merged 1 commit into from Aug 16, 2019

Conversation

mit-mit
Copy link
Member

@mit-mit mit-mit commented Aug 16, 2019

Rename this file to work around a limitation of the GitHub license detection tool, to ensure the repo is correctly tagged as BSD licensed

@mit-mit
Rename patent file
e8e11d2 
Rename this file to work around a limitation of the GitHub license detection tool, to ensure the repo is correctly tagged as BSD licensed
@googlebot googlebot added the cla: yes label Aug 16, 2019
@timsneath
Copy link
Member

@timsneath timsneath commented Aug 16, 2019

LGTM

@mit-mit mit-mit merged commit 95b5106 into master Aug 16, 2019
69 checks passed
@mit-mit mit-mit deleted the mit-mit-patch-1 branch Aug 16, 2019
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Aug 4, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
cla: yes
Projects
None yet
Milestone
No milestone
Linked issues

Successfully merging this pull request may close these issues.

None yet
3 participants
@mit-mit @timsneath @googlebot