Skip to content

Backport 378 to jazzy#384

Merged
mhubii merged 5 commits into
jazzyfrom
backport-378-to-jazzy
Mar 27, 2026
Merged

Backport 378 to jazzy#384
mhubii merged 5 commits into
jazzyfrom
backport-378-to-jazzy

Conversation

@mhubii

@mhubii mhubii commented Mar 27, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

mhubii added 5 commits March 27, 2026 13:53
(cherry picked from commit 101cc48)
(cherry picked from commit 7329010)
(cherry picked from commit 0feeb01)
(cherry picked from commit ce3925c)
(cherry picked from commit c5181f7)
@mhubii mhubii added the enhancement New feature or request label Mar 27, 2026
@mhubii mhubii linked an issue Mar 27, 2026 that may be closed by this pull request
@mhubii mhubii marked this pull request as ready for review March 27, 2026 13:54
@mhubii mhubii merged commit e41261f into jazzy Mar 27, 2026
7 checks passed
@mhubii mhubii deleted the backport-378-to-jazzy branch March 27, 2026 13:58
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.

Remove repetitive interface lookups

1 participant