Skip to content

chore: fix some typos in comments#5913

Closed
dockercui wants to merge 1 commit intoAztecProtocol:masterfrom
dockercui:master
Closed

chore: fix some typos in comments#5913
dockercui wants to merge 1 commit intoAztecProtocol:masterfrom
dockercui:master

Conversation

@dockercui
Copy link

No description provided.

Signed-off-by: dockercui <dockercui@aliyun.com>
@ludamad ludamad closed this Apr 22, 2024
@ludamad ludamad mentioned this pull request Apr 22, 2024
@ludamad ludamad reopened this Apr 22, 2024
@ludamad ludamad closed this Apr 22, 2024
@ludamad ludamad reopened this Apr 22, 2024
@ludamad ludamad closed this Apr 22, 2024
TomAFrench pushed a commit that referenced this pull request Apr 22, 2024
Thanks dockercui for
#5913. Our policy is
to redo typo changes to dissuade metric farming. This is an automated
script.

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
AztecBot pushed a commit to noir-lang/noir that referenced this pull request Apr 22, 2024
Thanks dockercui for
AztecProtocol/aztec-packages#5913. Our policy is
to redo typo changes to dissuade metric farming. This is an automated
script.

---------

Co-authored-by: AztecBot <tech@aztecprotocol.com>
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