Skip to content
This repository has been archived by the owner on Jun 3, 2021. It is now read-only.

Revert "Fix rc 0.20" #1787

Merged
merged 1 commit into from
Nov 21, 2018
Merged

Revert "Fix rc 0.20" #1787

merged 1 commit into from
Nov 21, 2018

Conversation

jondong
Copy link
Contributor

@jondong jondong commented Nov 21, 2018

Reverts #1786

Revert because this change breaks the build.

@jondong jondong merged commit 0b6cfec into rc-0.20.0 Nov 21, 2018
@YorkShen YorkShen deleted the revert-1786-fix-rc-0.20 branch February 14, 2019 03:32
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.

1 participant