Skip to content

Conversation

@greschd
Copy link
Member

@greschd greschd commented Feb 10, 2023

@github-actions github-actions bot added documentation Improvements or additions to documentation maintenance Package and maintenance related labels Feb 10, 2023
@greschd greschd merged commit b66a837 into main Feb 10, 2023
@FedericoNegri FedericoNegri deleted the maint/add_multi_version_documentation branch February 14, 2023 07:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation maintenance Package and maintenance related

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants