Skip to content
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

an error in documentation #3490

Closed
522848942 opened this issue Oct 20, 2024 · 3 comments
Closed

an error in documentation #3490

522848942 opened this issue Oct 20, 2024 · 3 comments
Labels
documentation Improvements or additions to documentation

Comments

@522848942
Copy link
Contributor

image
If want to merge unit here must be [[0,1],[2,3]] in line 3
@alejoe91 alejoe91 added the documentation Improvements or additions to documentation label Oct 20, 2024
@zm711
Copy link
Collaborator

zm711 commented Oct 20, 2024

Thanks @522848942. Any interest in submitting the patch yourself? We are always happy to help people contribute to the project and doc fix is a fun way to get started!

@522848942
Copy link
Contributor Author

Okay, it's my pleasure

@zm711
Copy link
Collaborator

zm711 commented Oct 21, 2024

One cool github trick is if in your PR you type

Fixes #3490, then it will autoclose the issue when we merge the PR.

I'll just link the PR here for provenance #3491 :)

@zm711 zm711 closed this as completed Oct 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@alejoe91 @522848942 @zm711