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.

Sign up for GitHub

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

Jump to bottom

[ponder] Add new port #4967

Merged

Rastaban merged 2 commits into microsoft:master from myd7349:ponder

Dec 21, 2018

Contributor

myd7349 commented Dec 13, 2018

No description provided.


          [ponder] Add new port

13710d5

Rastaban self-assigned this


          Fix static build

ded0d01

Rastaban merged commit 4afe20f into microsoft:master

Contributor

Rastaban commented Dec 21, 2018

Thanks for the port!

myd7349 deleted the ponder branch

December 21, 2018 07:46

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet