Skip to content

Conversation

smellai
Copy link
Contributor

@smellai smellai commented May 4, 2018

No description provided.

@smellai smellai requested a review from facchinm May 4, 2018 14:33
@smellai smellai mentioned this pull request May 4, 2018
@facchinm facchinm merged commit 934b502 into devel May 18, 2018
@matteosuppo matteosuppo deleted the remove_local_client branch July 25, 2018 08:48
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