New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

fix: protocol documentation name #123

Merged

aneojgurhem merged 1 commit into main from fix-scripts

Jan 25, 2023

Contributor

esoubiran-aneo commented Jan 25, 2023

fix #122


          fix: protocol documentation name

5b5a754

aneojgurhem approved these changes

View reviewed changes

aneojgurhem merged commit dceba9b into main

aneojgurhem deleted the fix-scripts branch

January 25, 2023 11:58

ddiakiteaneo pushed a commit that referenced this pull request


          fix: protocol documentation name (#123)

5a677bd

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet