Skip to content

Refresh hooks when refreshing extensions.#14918

Merged
scidomino merged 1 commit intomainfrom
tomm_hooks
Dec 13, 2025
Merged

Refresh hooks when refreshing extensions.#14918
scidomino merged 1 commit intomainfrom
tomm_hooks

Commits

Commits on Dec 13, 2025