Skip to content

Pin harness: changelog consolidation (engine #71) - #26

Merged
DevMando merged 1 commit into
mainfrom
chore/harness-changelog-pin
Jul 28, 2026
Merged

Pin harness: changelog consolidation (engine #71)#26
DevMando merged 1 commit into
mainfrom
chore/harness-changelog-pin

Conversation

@DevMando

Copy link
Copy Markdown
Owner

Summary

Pin bump only. Picks up engine PR #71, which consolidated the 0.14.3 release notes into the project's long-standing changelog (docs/CHANGELOG.md) and removed an accidental duplicate changelog at the engine repo root. Documentation-only upstream; no behavior changes.

Verification

No code changes on either side of the pin — the engine diff is two markdown files.

@DevMando
DevMando merged commit 3432a6e into main Jul 28, 2026
1 check passed
@DevMando
DevMando deleted the chore/harness-changelog-pin branch July 28, 2026 07:58
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