Skip to content

chore: merge v5.4.2 patch - #255

Merged
domire8 merged 2 commits into
mainfrom
chore/542
Jun 1, 2026
Merged

chore: merge v5.4.2 patch#255
domire8 merged 2 commits into
mainfrom
chore/542

Conversation

@domire8

@domire8 domire8 commented Jun 1, 2026

Copy link
Copy Markdown
Member

Description

Merging the 5.4.2 patch into main, just need to avoid that the CI runs

Review guidelines

Estimated Time of Review: 2 minutes

Checklist before merging:

  • Confirm that the relevant changelog(s) are up-to-date in case of any user-facing changes

@domire8
domire8 requested review from SprGrf and yrh012 June 1, 2026 09:34
@domire8
domire8 requested a review from eeberhard as a code owner June 1, 2026 09:34
Comment thread CHANGELOG.md Outdated
Comment thread source/modulo_components/include/modulo_components/ModuloImpl.hpp Outdated
@domire8
domire8 merged commit 6075ffe into main Jun 1, 2026
4 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 1, 2026
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.

2 participants