Skip to content

Conversation

SeekingMeaning
Copy link
Contributor

Describe the pull request

Related issue: tfhe/tfhe#213

@SeekingMeaning SeekingMeaning marked this pull request as ready for review January 13, 2020 05:40
@PhoebeHui PhoebeHui self-assigned this Jan 13, 2020
Copy link
Contributor

@PhoebeHui PhoebeHui left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the PR!

Could you also update the Ports\tfhe\CONTROL file?

@PhoebeHui PhoebeHui added the info:reviewed Pull Request changes follow basic guidelines label Jan 13, 2020
@dan-shaw
Copy link
Contributor

/azp run

1 similar comment
@vicroms
Copy link
Member

vicroms commented Jan 13, 2020

/azp run

@strega-nil strega-nil merged commit 5c0b7b5 into microsoft:master Jan 13, 2020
@SeekingMeaning SeekingMeaning deleted the tfhe branch January 14, 2020 00:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
info:reviewed Pull Request changes follow basic guidelines
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants