Skip to content

Fix#1313

Merged
ivokub merged 2 commits into
Consensys:fix/typos-v0.12from
nnsW3:fix
Nov 22, 2024
Merged

Fix#1313
ivokub merged 2 commits into
Consensys:fix/typos-v0.12from
nnsW3:fix

Conversation

@nnsW3
Copy link
Copy Markdown
Contributor

@nnsW3 nnsW3 commented Nov 6, 2024

Hello
I fixed several spelling issues.
Br, Elias.

@ivokub ivokub self-requested a review November 22, 2024 12:20
@ivokub ivokub changed the base branch from master to fix/typos-v0.12 November 22, 2024 12:20
Copy link
Copy Markdown
Collaborator

@ivokub ivokub 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 contribution! I'll merge it to the fix/typos-v0.12 branch for now which will be merged before the next release (either 0.11.1 or 0.12). There are some other PRs open and we'd like to avoid individual merge conflicts.

@ivokub ivokub merged commit bde0543 into Consensys:fix/typos-v0.12 Nov 22, 2024
ivokub pushed a commit that referenced this pull request Dec 25, 2024
lucasmenendez pushed a commit to lucasmenendez/gnark that referenced this pull request Jan 31, 2025
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