Skip to content

Improve performance of the Extension Manager and Store#648

Merged
manuelmayer-dev merged 1 commit into
mainfrom
improve-extension-manager
Jun 18, 2026
Merged

Improve performance of the Extension Manager and Store#648
manuelmayer-dev merged 1 commit into
mainfrom
improve-extension-manager

Conversation

@manuelmayer-dev

Copy link
Copy Markdown
Member

No description provided.

@manuelmayer-dev manuelmayer-dev merged commit 81bc548 into main Jun 18, 2026
@manuelmayer-dev manuelmayer-dev deleted the improve-extension-manager branch June 18, 2026 20:04
@manuelmayer-dev manuelmayer-dev added the improvement This improves something label Jun 18, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

improvement This improves something

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant