Skip to content

Backport 379 to jazzy#380

Merged
mhubii merged 3 commits intojazzyfrom
backport-379-to-jazzy
Mar 11, 2026
Merged

Backport 379 to jazzy#380
mhubii merged 3 commits intojazzyfrom
backport-379-to-jazzy

Conversation

@mhubii
Copy link
Collaborator

@mhubii mhubii commented Mar 11, 2026

No description provided.

Libor Wagner added 3 commits March 11, 2026 21:42
(cherry picked from commit e1639ef)
(cherry picked from commit f00df14)
(cherry picked from commit 67c94b3)
@mhubii mhubii self-assigned this Mar 11, 2026
@mhubii mhubii added the enhancement New feature or request label Mar 11, 2026
@mhubii mhubii marked this pull request as ready for review March 11, 2026 21:46
@mhubii mhubii merged commit a7d4054 into jazzy Mar 11, 2026
7 checks passed
@mhubii mhubii deleted the backport-379-to-jazzy branch March 11, 2026 21:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant