Skip to content

style: remove old todos#1106

Merged
gbotrel merged 3 commits intomasterfrom
clean/remove_plonk_todos
Apr 22, 2024
Merged

style: remove old todos#1106
gbotrel merged 3 commits intomasterfrom
clean/remove_plonk_todos

Conversation

@gbotrel
Copy link
Copy Markdown
Collaborator

@gbotrel gbotrel commented Apr 22, 2024

Cosmetics / code cleaning.

@gbotrel gbotrel merged commit ea5cdf9 into master Apr 22, 2024
@gbotrel gbotrel deleted the clean/remove_plonk_todos branch April 22, 2024 21:10
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.

2 participants