Skip to content

fixing trivial link error in doc#366

Merged
pakb merged 1 commit intodevelopfrom
bug-anchor-in-doc
Feb 3, 2023
Merged

fixing trivial link error in doc#366
pakb merged 1 commit intodevelopfrom
bug-anchor-in-doc

Conversation

@procrastinatio
Copy link
Contributor

@procrastinatio procrastinatio commented Feb 2, 2023

@procrastinatio procrastinatio requested a review from pakb February 2, 2023 13:54
@github-actions github-actions bot added the bug label Feb 2, 2023
Copy link
Contributor

@pakb pakb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch 👀

@pakb pakb merged commit 0a65618 into develop Feb 3, 2023
@pakb pakb deleted the bug-anchor-in-doc branch February 3, 2023 07:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants