Skip to content

Conversation

mvollmary
Copy link

@mvollmary mvollmary commented Jul 2, 2018

can be merged as soon as arangodb/arangodb#5737 is fixed

@mvollmary mvollmary merged commit 5ee3ce4 into master Aug 14, 2018
@mvollmary mvollmary deleted the test/issue-200 branch August 14, 2018 12:41
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.

1 participant