Skip to content

Conversation

mergify[bot]
Copy link
Contributor

@mergify mergify bot commented Mar 31, 2025


This is an automatic backport of pull request #533 done by [Mergify](https://mergify.com).

Co-authored-by: Christoph Fröhlich <[email protected]>
(cherry picked from commit 0e38d95)
@mergify mergify bot requested a review from ahcorde as a code owner March 31, 2025 13:10
@ahcorde ahcorde merged commit 8502889 into jazzy Mar 31, 2025
6 checks passed
@ahcorde ahcorde deleted the mergify/bp/jazzy/pr-533 branch March 31, 2025 13:39
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