Skip to content

Rename patent file - #38686

Merged
mit-mit merged 1 commit into
masterfrom
mit-mit-patch-1
Aug 16, 2019
Merged

mit-mit merged 1 commit into
masterfrom
mit-mit-patch-1

Conversation

@mit-mit

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

Copy link
Copy Markdown
Member

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

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

Copy link
Copy Markdown

LGTM

@mit-mit
mit-mit merged commit 95b5106 into master Aug 16, 2019
@mit-mit
mit-mit deleted the mit-mit-patch-1 branch August 16, 2019 15:55
@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.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants