Skip to content

Conversation

nrc
Copy link
Collaborator

@nrc nrc commented Jun 18, 2019

Work around an ICE (e.g., in #66)

(Also fixes the Travis link from the README)

@Hoverbear
Copy link
Contributor

Merging since this is a blocker and a minor workaround.

@Hoverbear Hoverbear merged commit aa3e1af into tikv:master Jun 18, 2019
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.

2 participants