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

be explicit about licenses and copyright #13

Merged
merged 1 commit into from Aug 23, 2016

Conversation

@mr-c
Copy link
Contributor

@mr-c mr-c commented Aug 17, 2016

Bonus: ship the LICENSE file

@gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented Aug 17, 2016

@ddfisher please merge (or give me merge perms :-).

@ddfisher ddfisher merged commit 3a8ec11 into python:master Aug 23, 2016
@ddfisher
Copy link
Collaborator

@ddfisher ddfisher commented Aug 23, 2016

Thanks for fixing this! And sorry for the delay -- I missed this due to bad email filter config :(

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.