Skip to content

docs(changelog): fold #13 and #14 into 0.10.0 - #16

Merged
nprudhomme merged 1 commit into
mainfrom
chore/changelog-0.10.0-followup
Jul 1, 2026
Merged

nprudhomme merged 1 commit into
mainfrom
chore/changelog-0.10.0-followup

Conversation

@nprudhomme

Copy link
Copy Markdown
Member

PRs #13 (search clear highlights fix) and #14 (native Edit menu with Find / Copy / Paste) were merged after the 0.10.0 version bump (#15) but before v0.10.0 was tagged.

Since v0.10.0 is not yet released, this records both under the 0.10.0 CHANGELOG section so the tag reflects everything that actually ships.

After merge: tag v0.10.0 on main to trigger the Release workflow.

PRs #13 (search clear fix) and #14 (native Edit menu with Find/Copy/Paste)
landed after the release bump but before tagging; record them under the
still-unreleased 0.10.0 so the tag reflects what actually ships.
@nprudhomme
nprudhomme merged commit c902bc5 into main Jul 1, 2026
4 checks passed
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