Skip to content

Conversation

@depau
Copy link
Collaborator

@depau depau commented Jan 10, 2018

This makes sure it is detected by GitHub and shown in the interface

This makes sure it is detected by GitHub and shown in the interface
@kkroening kkroening merged commit 0672fd0 into master Jan 12, 2018
@kkroening kkroening deleted the gh-license branch January 12, 2018 06:20
@kkroening
Copy link
Owner

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants