Skip to content

Release notes 20260506#133

Merged
faselm merged 9 commits intomasterfrom
develop-2026-05-06
May 6, 2026
Merged

Release notes 20260506#133
faselm merged 9 commits intomasterfrom
develop-2026-05-06

Conversation

@belisas
Copy link
Copy Markdown
Contributor

@belisas belisas commented Apr 29, 2026

@belisas belisas force-pushed the develop-2026-05-06 branch 2 times, most recently from 0faeab4 to c35bb49 Compare April 29, 2026 10:17
@mariokeusen mariokeusen self-requested a review May 4, 2026 11:33
@mariokeusen mariokeusen marked this pull request as ready for review May 6, 2026 13:36
@faselm
Copy link
Copy Markdown
Contributor

faselm commented May 6, 2026

Is someone able to merge this pr? The Merge pull request button is grayed out for me with a message "Merging is blocked due to failing merge requirements". I don't see any missing requirements however...

@ltclm ltclm force-pushed the develop-2026-05-06 branch from c5351a6 to e5b4c65 Compare May 6, 2026 14:17
@faselm faselm merged commit b67eb5d into master May 6, 2026
2 checks passed
@faselm faselm deleted the develop-2026-05-06 branch May 6, 2026 14:21
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.

6 participants