Skip to content

Release v15.4.0#1845

Merged
rcaril merged 1 commit into
mainfrom
release-v15.4.0
Jul 8, 2026
Merged

Release v15.4.0#1845
rcaril merged 1 commit into
mainfrom
release-v15.4.0

Conversation

@rcaril

@rcaril rcaril commented Jul 8, 2026

Copy link
Copy Markdown
Member

All Submissions:

  • Have you followed the guidelines in our Contributing document?
  • Have you checked to ensure there aren't other open Pull Requests for the same update/change?

New Feature Submissions:

  • Does your submission pass tests?

Changes to Core Features:

  • Have you written new tests for your core changes, as applicable?
  • Have you successfully run tests with your changes locally?

@rcaril rcaril requested a review from a team as a code owner July 8, 2026 18:33
@rcaril rcaril requested a review from philippschulte July 8, 2026 18:33

@philippschulte philippschulte left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@rcaril rcaril merged commit c142c74 into main Jul 8, 2026
17 checks passed
@rcaril rcaril deleted the release-v15.4.0 branch July 8, 2026 18:47
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