Skip to content

Comments

Release cleanup#32

Merged
sarnold merged 1 commit intomainfrom
more-doc-updates
Oct 24, 2025
Merged

Release cleanup#32
sarnold merged 1 commit intomainfrom
more-doc-updates

Conversation

@sarnold
Copy link
Owner

@sarnold sarnold commented Oct 19, 2025

  • fix typo in tag string, update changelog for release

github-actions[bot]
github-actions bot previously approved these changes Oct 19, 2025
@sarnold sarnold added the documentation Improvements or additions to documentation label Oct 19, 2025
github-actions[bot]
github-actions bot previously approved these changes Oct 19, 2025
github-actions[bot]
github-actions bot previously approved these changes Oct 20, 2025
Signed-off-by: Stephen L Arnold <sarnold@vctlabs.com>
@sarnold sarnold merged commit 12e8e1b into main Oct 24, 2025
20 checks passed
@sarnold sarnold deleted the more-doc-updates branch October 24, 2025 00:03
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

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant