Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Removed NTRU. #1335

Merged
merged 1 commit into from
Dec 15, 2022
Merged

Removed NTRU. #1335

merged 1 commit into from
Dec 15, 2022

Conversation

xvzcf
Copy link
Contributor

@xvzcf xvzcf commented Dec 14, 2022

No description provided.

jschanck
jschanck approved these changes Dec 15, 2022
View reviewed changes
Copy link
Contributor

@jschanck jschanck left a comment

Choose a reason for hiding this comment

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

🎉

@baentsch baentsch mentioned this pull request Dec 15, 2022
Closed
baentsch
baentsch approved these changes Dec 15, 2022
View reviewed changes
Copy link
Member

@baentsch baentsch left a comment

Choose a reason for hiding this comment

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

All references removed that I could think of, so LGTM.

@xvzcf xvzcf merged commit a7e1b8a into main Dec 15, 2022
@xvzcf xvzcf deleted the remove-ntru branch December 15, 2022 17:19
@baentsch baentsch mentioned this pull request Dec 16, 2022
Merged
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@baentsch baentsch baentsch approved these changes

@jschanck jschanck jschanck approved these changes

@dstebila dstebila Awaiting requested review from dstebila dstebila is a code owner

@bhess bhess Awaiting requested review from bhess bhess is a code owner

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@xvzcf @jschanck @baentsch