Skip to content

Conversation

@nodiscc
Copy link
Member

@nodiscc nodiscc commented Jan 25, 2026

See commit messages, minor documentation changes/precisions.

@nodiscc nodiscc added this to the 0.17.0 milestone Jan 25, 2026
@nodiscc nodiscc added documentation tools developer tools labels Jan 25, 2026
@nodiscc nodiscc merged commit 7bbb8cc into master Jan 25, 2026
30 of 50 checks passed
@nodiscc nodiscc deleted the doc-simplify-release-procedure branch January 25, 2026 11:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation tools developer tools

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant