Skip to content

Merge beta into master - #15

Merged
martinpihrt merged 3 commits into
masterfrom
beta
Oct 13, 2026
Merged

martinpihrt merged 3 commits into
masterfrom
beta

Conversation

@martinpihrt

Copy link
Copy Markdown
Owner

Promote the validated beta branch to master.

@martinpihrt
martinpihrt merged commit ced1574 into master Oct 13, 2026
16 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