Skip to content

Conversation

@peanutfun
Copy link
Member

@peanutfun peanutfun commented Nov 23, 2023

Changes proposed in this PR:

  • Fix a dead link

PR Author Checklist

PR Reviewer Checklist

@peanutfun peanutfun requested a review from chahank November 23, 2023 16:20
@chahank chahank merged commit b1ca2d7 into develop Nov 23, 2023
@emanuel-schmid emanuel-schmid deleted the fix-dead-link-install-guide branch December 13, 2023 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants