Skip to content

docs: release notes for 4.0.2 - #768

Merged
MarkWolters merged 2 commits into
mainfrom
release-notes/4.0.2
Oct 19, 2026
Merged

MarkWolters merged 2 commits into
mainfrom
release-notes/4.0.2

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Generated by the Generate Release Notes workflow.

Assembled release notes for 4.0.2 from source files in docs/release notes/4.0.2/.

Review docs/release notes/4.0.2/4.0.2.md before merging.

@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Oct 19, 2026
@github-actions github-actions Bot added the documentation Improvements or additions to documentation label Oct 19, 2026
added missing release notes for pr 714
@MarkWolters
MarkWolters merged commit 46ac604 into main Oct 19, 2026
19 of 23 checks passed
@MarkWolters
MarkWolters deleted the release-notes/4.0.2 branch October 19, 2026 19:43
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