Skip to content

Conversation

@robot9706
Copy link
Contributor

Clarified the Development getting started guide a bit with @gerimate

@robot9706 robot9706 self-assigned this Jul 3, 2023
@robot9706 robot9706 requested a review from a team as a code owner July 3, 2023 14:27
@github-actions github-actions bot added the pr:doc label Jul 3, 2023
@polaroi8d polaroi8d merged commit 9a3b2e0 into develop Jul 4, 2023
@polaroi8d polaroi8d deleted the doc/develop-start branch July 4, 2023 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants