Skip to content

Revert "Add zstd-jni to //third_party."#12463

Closed
philwo wants to merge 1 commit intomasterfrom
philwo-revert-12437
Closed

Revert "Add zstd-jni to //third_party."#12463
philwo wants to merge 1 commit intomasterfrom
philwo-revert-12437

Conversation

@philwo
Copy link
Copy Markdown
Member

@philwo philwo commented Nov 12, 2020

This reverts commit 941fe0a.

@google-cla google-cla bot added the cla: yes label Nov 12, 2020
bazel-io pushed a commit that referenced this pull request Nov 12, 2020
This reverts commit 941fe0a.

Partial commit for third_party/*, see #12463.

Signed-off-by: Philipp Wollermann <philwo@google.com>
@philwo
Copy link
Copy Markdown
Member Author

philwo commented Nov 13, 2020

Merged in e25675c.

@philwo philwo closed this Nov 13, 2020
@philwo philwo deleted the philwo-revert-12437 branch November 13, 2020 11:12
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