Skip to content

Conversation

@almet
Copy link
Member

@almet almet commented Nov 10, 2025

Fixes #1286

@almet almet added the no changelog For pull requests that do not require changelog updates (typos, clarifications, etc.) label Nov 10, 2025
@apyrgio
Copy link
Contributor

apyrgio commented Nov 14, 2025

Thanks for the changes Alexis, feel free to merge.

@almet almet merged commit 34f1cf1 into main Nov 14, 2025
23 checks passed
@almet almet deleted the 1286-docs branch November 14, 2025 15:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no changelog For pull requests that do not require changelog updates (typos, clarifications, etc.)

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

Do a pass on the documentation for 0.10.0

3 participants