Skip to content

docs(changelog): entries for the Aug 10 wave - #964

Merged
iamtoruk merged 1 commit into
mainfrom
docs/changelog-aug10
Aug 10, 2026
Merged

docs(changelog): entries for the Aug 10 wave#964
iamtoruk merged 1 commit into
mainfrom
docs/changelog-aug10

Conversation

@iamtoruk

Copy link
Copy Markdown
Member

The day's merged PRs (#941/#951-#963 wave) landed without their changelog entries; this adds them in house style ahead of the 0.9.20 cut: the resident-serve performance story, app punchcard + menubar PR strip (and the Workflow strip retirement), the PR-attribution time bound, shell-reads/corrections detector fixes, coverage flooring, the dash one-shot rate, and the #868 activation fix.

@iamtoruk
iamtoruk merged commit e1d44f0 into main Aug 10, 2026
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