Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename interface to server #998

Merged
merged 2 commits into from
May 30, 2019
Merged

Rename interface to server #998

merged 2 commits into from
May 30, 2019

Conversation

NicolasMahe
Copy link
Member

Dependant on #997

Rename folder interface to server

krhubert
krhubert previously approved these changes May 29, 2019
ilgooz
ilgooz previously approved these changes May 29, 2019
@antho1404 antho1404 dismissed stale reviews from ilgooz and krhubert via 0069b0a May 30, 2019 03:56
@antho1404 antho1404 force-pushed the rename-interface-to-server branch from 978a5f1 to 0069b0a Compare May 30, 2019 03:56
@NicolasMahe
Copy link
Member Author

@antho1404 let's merge this one as it was reviewed before the force push?

@antho1404 antho1404 merged commit b1ec4d3 into dev May 30, 2019
@antho1404 antho1404 deleted the rename-interface-to-server branch May 30, 2019 04:15
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.

4 participants