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

Fix PR link #5202

Merged
merged 1 commit into from
Oct 31, 2022
Merged

Fix PR link #5202

merged 1 commit into from
Oct 31, 2022

Conversation

zhiltsov-max
Copy link
Contributor

Motivation and context

Fixes #5191

How has this been tested?

Checklist

License

  • I submit my code changes under the same MIT License that covers the project.
    Feel free to contact the maintainers if that's a concern.

@bsekachev bsekachev merged commit 16c4c46 into develop Oct 31, 2022
@zhiltsov-max zhiltsov-max deleted the zm/fix-doc-link branch November 2, 2022 07:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bsekachev bsekachev bsekachev approved these changes

@nmanovic nmanovic Awaiting requested review from nmanovic

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Broken "Open a Pull Request" link in "Pull requests" contributing docs section
2 participants
@zhiltsov-max @bsekachev