Skip to content

Revert "mark: Create new package" due to license issue#10131

Merged
tgamblin merged 1 commit intodevelopfrom
revert-mark
Dec 17, 2018
Merged

Revert "mark: Create new package" due to license issue#10131
tgamblin merged 1 commit intodevelopfrom
revert-mark

Conversation

@tgamblin
Copy link
Copy Markdown
Member

Reverts #7069

@lingnanyuan @baberlevi @adamjstewart: This one had the old license header -- I guess we didn't restart the build on it, and the CI passed before the license change. I'm reverting until @lingnanyuan can commit a version with the new license.

@tgamblin tgamblin changed the title Revert "mark: Create new package. (#7069)" Revert "mark: Create new package" due to license issue Dec 17, 2018
@tgamblin tgamblin merged commit 37954a7 into develop Dec 17, 2018
@tgamblin tgamblin deleted the revert-mark branch December 17, 2018 19:15
@adamjstewart
Copy link
Copy Markdown
Member

Oops, didn't notice the old license. Sorry about that.

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

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants