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.

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

fix link to developer's guide #44

Merged
merged 1 commit into from
Nov 16, 2023
Merged

fix link to developer's guide #44

merged 1 commit into from
Nov 16, 2023

Conversation

alessandrofelder
Copy link
Member

Description

What is this PR

  • Bug fix
  • Addition of a new feature
  • Other

Why is this PR needed?

Link to developer's guide was outdated.

Copy link
Member

@IgorTatarnikov IgorTatarnikov left a comment

Choose a reason for hiding this comment

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

👍 Looks good!

@IgorTatarnikov IgorTatarnikov merged commit 9843b53 into main Nov 16, 2023
7 checks passed
@alessandrofelder alessandrofelder deleted the fix-dev-guide-link branch November 16, 2023 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants