Skip to content

Twisted Edwards in extended coordinates w/ a=-1#110

Merged
gbotrel merged 4 commits intodevelopfrom
feat/tEd-extended
Jan 19, 2022
Merged

Twisted Edwards in extended coordinates w/ a=-1#110
gbotrel merged 4 commits intodevelopfrom
feat/tEd-extended

Conversation

@yelhousni
Copy link
Copy Markdown
Collaborator

@yelhousni yelhousni commented Dec 10, 2021

@gbotrel
Copy link
Copy Markdown
Collaborator

gbotrel commented Dec 15, 2021

@yelhousni instead of "[do not merge yet]" can you put the PR as Draft and make it ready when it's ready to merge ? :)

@yelhousni yelhousni marked this pull request as draft December 15, 2021 10:08
@yelhousni yelhousni marked this pull request as ready for review December 22, 2021 20:06
@gbotrel gbotrel merged commit 75ee0dc into develop Jan 19, 2022
@gbotrel gbotrel deleted the feat/tEd-extended branch January 19, 2022 15:08
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.

3 participants