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

updated in/out ports to match the default values #496

Merged
merged 1 commit into from Dec 23, 2019

Conversation

@DmitryKey
Copy link
Contributor

DmitryKey commented Dec 22, 2019

This PR fixes an issue with connecting client to the server.

@hanxiao

This comment has been minimized.

Copy link
Owner

hanxiao commented Dec 23, 2019

thanks for your contribution ❤️

@hanxiao hanxiao merged commit 96e5049 into hanxiao:master Dec 23, 2019
@DmitryKey

This comment has been minimized.

Copy link
Contributor Author

DmitryKey commented Dec 23, 2019

Thanks for accepting my PR and thank you for the great set of tools for BERT.

@DmitryKey DmitryKey deleted the DmitryKey:patch-1 branch Dec 28, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.