Skip to content

chore: fix CHANGELOG.md#1712

Merged
jpnurmi merged 1 commit into
masterfrom
chore/changelog
May 12, 2026
Merged

chore: fix CHANGELOG.md#1712
jpnurmi merged 1 commit into
masterfrom
chore/changelog

Conversation

@jpnurmi
Copy link
Copy Markdown
Collaborator

@jpnurmi jpnurmi commented May 12, 2026

No description provided.

@jpnurmi jpnurmi requested review from JoshuaMoelans and mujacica May 12, 2026 07:39
@jpnurmi jpnurmi merged commit 9d1d9c1 into master May 12, 2026
16 checks passed
@jpnurmi jpnurmi deleted the chore/changelog branch May 12, 2026 08:03
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.

2 participants