Skip to content

chore(release): v4.1.0 — demo pins + Bug Bash Thursday changelog - #500

Merged
genwave-radio merged 1 commit into
mainfrom
chore/v411-pins-changelog
Aug 13, 2026
Merged

chore(release): v4.1.0 — demo pins + Bug Bash Thursday changelog#500
genwave-radio merged 1 commit into
mainfrom
chore/v411-pins-changelog

Conversation

@genwave-radio

Copy link
Copy Markdown
Collaborator

The v4.1.0 release train (tag pushed, per Dean's word):

DEPLOYMENT.md grepped for pin drift: clean this time. Merge once release.yml is green, then launch.sh --pinned on the demo box. First thing to re-test: Hear It with the old MacLeod correction still in place — it should track every respelling change now, and the editor will flag the correction as suppressed when the rule is saved.

@genwave-radio
genwave-radio merged commit 6db59bc into main Aug 13, 2026
12 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Aug 13, 2026
@genwave-radio
genwave-radio deleted the chore/v411-pins-changelog branch August 13, 2026 20:22
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant