Skip to content

Back-merge main into dev after the release - #6

Merged
WaylandYang merged 1 commit into
devfrom
main
Oct 13, 2026
Merged

WaylandYang merged 1 commit into
devfrom
main

Conversation

@WaylandYang

Copy link
Copy Markdown
Collaborator

Brings the release's merge commit from main into dev, so the two read as level and the next release's pull request is up to date with its base. No changes to files.

🤖 Generated with Claude Code

Release: the README's style section
@WaylandYang
WaylandYang merged commit 8833076 into dev Oct 13, 2026
9 checks passed

This branch was successfully deployed

1 active deployment
github-pages — 09ea4211 Deployed Oct 13, 2026 by WaylandYang via deploy #46
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