Skip to content

Conversation

@lodestone
Copy link
Contributor

No description provided.

@pluma pluma merged commit 00fcae5 into arangodb:master Feb 20, 2018
@pluma
Copy link
Contributor

pluma commented Feb 20, 2018

Thanks for catching that!

pluma added a commit that referenced this pull request Feb 20, 2018
@lodestone lodestone deleted the patch-1 branch February 20, 2018 12:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants