Skip to content

chore(changelog): roll v0.13.0 - #631

Merged
haribo merged 1 commit into
developfrom
chore/release-v0.13.0
Sep 9, 2026
Merged

chore(changelog): roll v0.13.0#631
haribo merged 1 commit into
developfrom
chore/release-v0.13.0

Conversation

@haribo

@haribo haribo commented Sep 9, 2026

Copy link
Copy Markdown
Owner

Summary

Rolls ## [Unreleased] into ## [0.13.0] - 2026-09-09, opens a fresh empty [Unreleased], and updates the compare links. No wording touched — each entry was written by the PR that shipped it, and the one that needed correcting was fixed in #630, before this roll rather than inside it.

8 entries: 1 Changed, 7 Fixed.

Why a minor and not a patch

Seven of the eight are bug fixes and would be a patch on their own. The eighth removes unless from the engine and the agent — the field was only reachable by a hand-forged request, but it is a removal of protocol behaviour, not a fix. A minor says that; a patch would hide it.

Test plan

  • The [0.13.0] section holds all 8 entries; [Unreleased] holds none.
  • [Unreleased] compares from v0.13.0, and [0.13.0] compares v0.12.0...v0.13.0.
  • test/changelog-rule.sh green.

@haribo
haribo merged commit 957f640 into develop Sep 9, 2026
8 checks passed
@haribo
haribo deleted the chore/release-v0.13.0 branch September 9, 2026 08:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant