Skip to content

Conversation

@PipKat
Copy link
Member

@PipKat PipKat commented May 17, 2024

Other edits included replacing dev doc links with stable doc links

@AlejandroFernandezLuces
Copy link
Collaborator

Thanks for the changes 🙂

Merging

@AlejandroFernandezLuces AlejandroFernandezLuces merged commit 70d35d3 into main May 21, 2024
@AlejandroFernandezLuces AlejandroFernandezLuces deleted the doc/edits branch May 21, 2024 07: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